Philippa Gardner was one of the organisers of the `Verified Software’ workshop, held at the Isaac Newton Institute for Mathematical Sciences, (INI), Cambridge on 24th-25th September 2019.

The workshop was organised by VeTSS, the Research Institute in Verified Trustworthy Software Systems working in partnership with the Newton Gateway to Mathematics and the Isaac Newton Institute (INI). The two day workshop is a forerunner to the INI’s six-week summer programme on `Verified Software’ in the summer of 2020. The programme of the two days, together with slides and videos of the talks can be downloaded from the workshop page.

Future Challenges Discussion with Tony Hoare, John Goodacre and Philippa Gardner