« All Events

  • This event has passed.

Verified Trustworthy Software Systems

April 4, 2016 - April 7, 2016


Software faults cause widespread problems in society. Symbolic verification provides promising solutions to these problems. The field is coming of age: verification techniques scale; tools are tractable; and real-world programs can be verified. These meetings bring together academics, industrial experts and government scientists to identify key challenges in establishing verification at the heart of the software design process.
Recorded audio and video of the meetings is available here

Royal Society Scientific Meeting

The meeting was held at The Royal Society, London, 4th-5th April 2016.

Over two hundred participants took part in the discussions, comprising verification experts, systems and security experts interested in verification, industrialists using verification, and government scientists. The very engaged audience addressed the current state of the field and the opportunities that verification offers to tackle challenges in cyber security and the certification of software.
A number of presentations from the meeting will be published in a forthcoming issue of the Philosophical Transactions of the Royal Society. For details see the Scientific meeting webpage.

Specialist Meeting at Imperial College

The meeting was hosted by the Department of Computing, Imperial College London, 6th-7th April 2016.

A very engaged group of renowned experts as well as promising young researchers from the fields of verification, systems, and security got together to discuss current work in verification and trustworthy systems.
For any queries re the Specialist Meeting, please e-mail Teresa Carbajo Garcia.

Accommodation and restaurant suggestions

Click here for accommodation and restaurant recommendations both for the Royal Society and Specialist Meetings.

Verification is used for finding bugs in industrial software. © Mircea Maties/Shutterstock.com

Verification is important for safety-critical systems, such as drones and driverless cars. © Nicolas Halftermeyer


The meetings are organised by

Gardner Gordon Morrisett Schneider O'Hearn
Professor Philippa Gardner, Imperial College, London, UK Professor Mike Gordon FRS, University of Cambridge, UK Professor Greg Morrisett, Cornell University, USA Professor Fred Schneider, Cornell University, USA Professor Peter O’Hearn, Facebook and University College London, UK


April 4, 2016
April 7, 2016


Imperial College London