Add new file

_posts/2019-08-09-marktoberdorf.md

+---
+title: Summer School Marktoberdorf 2019, “Safety and Security for Software Systems: Logics, Proofs, Applications”
+---  
+Gaby Sampaio and Sacha Ayoun, two of the group’s PhD students, were invited to 
+attend the [40th Marktoberdorf Summer School](https://www2.in.tum.de/mod19/index.html), 
+organised by the [Technical University of Munich (TUM)](https://www.tum.de/). 
+
+The Summer School Marktoberdorf is a 10-day course for young computer scientists 
+and mathematicians working on formal approaches to correctness and security of software systems. 
+This year’s topic was “Safety and Security for Software Systems: Logics, Proofs, 
+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