skip to content



Tuesday 24th September 2019 to Wednesday 25th September 2019

Isaac Newton Institute

United Kingdom


The Newton Gateway to Mathematics and the Isaac Newton Institute (INI) are pleased to be working 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 is a forerunner to the INI’s six-week summer programme on`Verified Software’ in the summer of 2020. 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.

Aims and Objectives

The challenge is 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 how to register and a provisional programme please see the workshop page.
A number of travel support grants are available for outstanding PhD students, who will be able to present their research in the form of posters and short presentations.
The workshop will take place at the Isaac Newton Institute for Mathematical Sciences in Cambridge. Please see the Isaac Newton Institute website for further information about the venue.

In Partnership with