The `Verified Software’ workshop was held at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge on 24th-25th September 2019.
The workshop was organised by VeTSS working in partnership with the Newton Gateway to Mathematics and the Isaac Newton Institute (INI) as a forerunner to the INI’s six-week summer programme on `Verified Software’ in the summer of 2020.
The workshop was attended by 110 delegates and included talks by world-leading experts from academia, industry and government. The 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.
Please see the workshop page for the list of talks, together with slides of the presentation and videos. A PDF version of the Programme and Speaker list it is also available to download. For details of previous editions of the workshop, please see here.
This “Verified Software” Workshop, organised in partnership with the Newton Gateway to Mathematics and the Isaac Newton Institute (INI) is a forerunner to the INI’s six-week summer programme on `Verified Software’ in the summer of 2020.
The six-week programme on Verified Software at the Isaac Newton Institute in 2020 will bring together a diverse mix of researchers for the purpose of identifying the theoretical and practical challenges in algorithmic verification, synthesis, and certification of software systems; designing new languages, formalisms, tools, and integrated tool suites for the modeling and analysis of complex systems; identifying novel applications and challenge problems for verification technology; and crafting a roadmap for research, education, and technology.
The Isaac Newton Institute programme on Verified Software will offer an opportunity to take stock of the first fifteen years of Tony Hoare’s Verified Software Challenge and formulate a concrete roadmap for international cooperation for the next fifteen years.