2019-09-26-workshop.md



title: Workshop on Verified Software, Isaac Newton Institute for Mathematical Sciences, Cambridge.


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.