SynopsisSoftware 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 MeetingThe 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 CollegeThe 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 suggestionsClick 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 |
Organisers
The meetings are organised by
