We are very pleased to announce a workshop on`Verified Software’, to take take place on 24th-25th September 2019 at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge. The workshop, organised and supported by VeTSS and the INI, 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 challenge is to answer questions such as:
- How do we construct software stacks with accurate mathematical models and provably predictable behavior relative to these models?
- Can we build mathematical models and proofs for verifying safety and security properties of complex software systems that operate cars and planes and manage financial transactions?
For more information, details on how to register and a provisional programme please see the workshop page.