From a141a479b709c72340645863025ba3a20beb4aa7 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 29 Oct 2019 15:04:23 +0000
Subject: [PATCH] Add new file

---
 _posts/2019-09-26-workshop.md | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 _posts/2019-09-26-workshop.md

diff --git a/_posts/2019-09-26-workshop.md b/_posts/2019-09-26-workshop.md
new file mode 100644
index 0000000..ce891aa
--- /dev/null
+++ b/_posts/2019-09-26-workshop.md
@@ -0,0 +1,15 @@
+---
+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
-- 
GitLab