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.

The workshop is organised and supported by VeTSS and the Isaac Newton Institute for Mathematical Sciences, Cambridge.