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


parent 013ee805
Pipeline #103103 passed with stages
in 6 minutes and 46 seconds
......@@ -12,4 +12,6 @@ Gateway to Mathematics and the Isaac Newton Institute (INI). The two day worksho
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](
\ No newline at end of file
be downloaded from the [workshop page](
![Future Challenges Discussion with Tony Hoare, John Goodacre and Philippa Gardner](/images/posts/Verified-Software-Workshop.jpg)
\ 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