DoC Professor and colleagues to host Royal Society Scientific Meeting

DoC's Professor Gardner, and colleagues, are to host a Royal Society Scientific meeting on the topic of Verified Trustworthy Software Systems.

Professor Philippa Gardner and colleagues Professor Peter O'Hearn (UCL, Facebook), Professor Mike Gordon FRS (University of Cambridge), Professor Greg Morrisett (Cornell University) and Professor Fred B. Schneider (Cornell University) are organising two high-profile scientific meetings on the topic of Verified Trustworthy Software Systems.

The first meeting is to be held at the Royal Society from 4th-5th April 2016. The second event will be a specialist meeting held at Imperial College from 6-7th April 2016.

Synopsis of the events: 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 in order to identify key challenges in establishing verification at the heart of the software design process.

These meetings are being led and attended by leading experts in the field of verification and security, with 300 people attending the Royal Society meeting and over 200 people expected at Imperial College.

For further information on both events, please see: https://verificationinstitute.org/event/verified-trustworthy-software-systems-specialist-meeting/