Commit a141a479 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia

Add new file

parent 58d1b5c1
Pipeline #103101 passed with stages
in 12 minutes and 48 seconds
---
title: Workshop on Verified Software, Isaac Newton Institute for Mathematical Sciences, Cambridge.
---
Philippa Gardner was one of the organisers of the [`Verified Software’
workshop](https://vetss.org.uk/vetss-verified-software-workshop-24th-25th-september-2019/),
held at the [Isaac Newton Institute for Mathematical Sciences, (INI)](http://www.newton.ac.uk/),
Cambridge on 24th-25th September 2019.
The workshop was organised by [VeTSS, the Research Institute in Verified Trustworthy
Software Systems](https://vetss.org.uk/) 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](http://www.newton.ac.uk/event/vso).
The programme of the two days, together with slides and videos of the talks can
be downloaded from the [workshop page](https://vetss.org.uk/verified-software-workshop-programme/).
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment