« All Events

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

September 24 - September 25

The VeTSS workshop on`Verified Software’ 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 the current generation of UK PhD students and postdocs.

For more information, including how to register, details of the venue and a provisional programme please see the workshop page.

Venue: Isaac Newton Institute for Mathematical Sciences, Cambridge
Dates: 24th and 25th September 2019

Details

Start:
September 24
End:
September 25