Loading Events

Upcoming Events

Events Search and Views Navigation

Event Views Navigation

September 2019

Workshop on Verified Software at the Isaac Newton Institute for Mathematical Sciences, Cambridge

September 24 - September 25

The Verified Software’ workshop will take 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 comprises 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…

Find out more »
+ Export Events