Update 2019-08-09-marktoberdorf.md

_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