Background

The Newton Gateway to Mathematics and the Isaac Newton Institute (INI) were pleased to work in partnership with VeTSS, the UK Research Institute in Verified Trustworthy Software Systems to host and support this two day workshop on verified software.
 
Comprising two days of talks by world-leading experts from academia, industry and government, this workshop was a forerunner to the INI’s six-week summer programme on`Verified Software’ in the summer of 2020. Its aim was 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 introduced them to the current generation of UK PhD students and postdocs.

Aims and Objectives

The challenge was to answer questions such as:

• How do we construct software stacks with accurate mathematical models and provably predictable behaviour 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?
• What theoretical advances are needed for modelling and analysing large software systems?
• What language and semantic analysis tools can assist in the large-scale construction of verified software?
• Can we create an ecosystem of high-quality verified software with well-defined interfaces and composition mechanisms?

Further Information, Registration and Venue

For more information, including the programme please see the workshop page.

The workshop took place at the Isaac Newton Institute for Mathematical Sciences in Cambridge. Please see the Isaac Newton Institute website for further information about the venue.