From af75c2f529e0a1b7e107cff6608d0b6f9c736e0a Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 25 Oct 2019 17:04:04 +0100
Subject: [PATCH] Update 2019-08-09-marktoberdorf.md

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

diff --git a/_posts/2019-08-09-marktoberdorf.md b/_posts/2019-08-09-marktoberdorf.md
index bfda112..469d838 100644
--- a/_posts/2019-08-09-marktoberdorf.md
+++ b/_posts/2019-08-09-marktoberdorf.md
@@ -12,4 +12,6 @@ Applications” and the focus was on the latest verification tools developed to
 mechanize the design of safe and secure programs. The busy programme, with lectures, 
 keynotes and presentations had a particular emphasis on Logics and Logical-based 
 Methods and mathematical reasoning about safety and security and protection against 
-failure, and also included sports days, socials and a visit to Neuschwanstein Castle.
\ No newline at end of file
+failure, and also included sports days, socials and a visit to Neuschwanstein Castle.
+
+![One of the presentations during the summer school](/images/Marktoberdorf.jpg)
\ No newline at end of file
-- 
GitLab