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
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.
The meetings are organised by