From efb33eb0dd8534aa98eb5759901a82d8021501f5 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 29 Oct 2019 15:08:50 +0000
Subject: [PATCH] Update 2019-09-26-workshop.md

---
 _posts/2019-09-26-workshop.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/_posts/2019-09-26-workshop.md b/_posts/2019-09-26-workshop.md
index ce891aa..026a5ce 100644
--- a/_posts/2019-09-26-workshop.md
+++ b/_posts/2019-09-26-workshop.md
@@ -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](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
+be downloaded from the [workshop page](https://vetss.org.uk/verified-software-workshop-programme/).
+
+![Future Challenges Discussion with Tony Hoare, John Goodacre and Philippa Gardner](/images/posts/Verified-Software-Workshop.jpg)
\ No newline at end of file
-- 
GitLab