title:Vistas in Verified Software, workshop at the Isaac Newton Institute, talks live-streamed
---
The [Vistas in Verified Software workshop](https://www.newton.ac.uk/event/vs2w01/) will take place at the Isaac Newton Institute (INI) on 4-8 July 2022.
Philippa Gardner is one of the organisers, together with Azadeh Farzan, Natarajan Shankar and Moshe Vardi, of the [Vistas in Verified Software workshop](https://www.newton.ac.uk/event/vs2w01/)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.
Although registration is now closed, talks will be live streamed in the [INI live stream link](https://www.newton.ac.uk/news/watch-live/) and some will also be recorded and made available afterwards at the [INI You Tube channel.](https://www.youtube.com/playlist?list=PL9-ncTy2ag0FMw3BDhlKUGc_RGU1dok6M)
Talks will be live streamed in the [INI live stream link](https://www.newton.ac.uk/news/watch-live/) and some will also be recorded and made available afterwards at the [INI You Tube channel.](https://www.youtube.com/playlist?list=PL9-ncTy2ag0FMw3BDhlKUGc_RGU1dok6M)
The workshop is part of their six week program on [Verified software](https://www.newton.ac.uk/event/vso2/). The programme, organised by Azadeh Farzan, Natarajan Shankar, Moshe Vardi and Philippa Gardner, will 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 aim is to allow participants to take stock of the first fifteen years of [Tony Hoare’s Verified Software Challenge](http://vstte.inf.ethz.ch/pdfs/vstte-hoare-misra.pdf) and to formulate a concrete roadmap for international cooperation for the next fifteen years.
The workshop is part of a six week programme on [Verified software](https://www.newton.ac.uk/event/vso2/), 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](http://vstte.inf.ethz.ch/pdfs/vstte-hoare-misra.pdf) and to formulate a concrete roadmap for international cooperation for the next fifteen years.
