The Verified Software’ workshop took place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. This is a forerunner to the six-week summer programme on`Verified Software’ in the summer of 2020.
The workshop comprised two days of talks by world-leading experts from academia, industry and government. Its aim is to bring together verification, systems and security experts interested in formal analysis, industrialists interested in software validation, and government scientists interested in reliable software systems, and to introduce them to the current generation of UK PhD students and postdocs.
For more information, please see the workshop page
Venue: Isaac Newton Institute for Mathematical Sciences, Cambridge
Dates: 24th and 25th September 2019