Philippa Gardner is one of the organisers, together with Azadeh Farzan, Natarajan Shankar and Moshe Vardi, of the Vistas in Verified Software workshop which will take place at the Isaac Newton Institute (INI) on 4-8 July 2022.

The Vistas in Verified Software workshop features invited talks from distinguished researchers spanning machine learning, distributed systems, concurrency, networking, cyber-physical systems, programming languages, and program analysis.

Talks will be live streamed in the INI live stream link and some will also be recorded and made available afterwards at the INI You Tube channel.

The workshop is part of a six week programme on Verified software, aimiing to bring together researchers from across the world for a wide range of talks and discussions on the theoretical and practical challenges in formal verification and certification of software systems. The gathering will allow participants to take stock of the first fifteen years of Tony Hoare’s Verified Software Challenge and to formulate a concrete roadmap for international cooperation for the next fifteen years.