diff --git a/_posts/2019-08-09-marktoberdorf.md b/_posts/2019-08-09-marktoberdorf.md index f82e497771474cae8f07f561a379d342d9dd04cc..110d5892ece8ad79ac0ed2c0724679c114904613 100644 --- a/_posts/2019-08-09-marktoberdorf.md +++ b/_posts/2019-08-09-marktoberdorf.md @@ -1,5 +1,5 @@ --- -title: Summer School Marktoberdorf 2019, “Safety and Security for Software Systems: Logics, Proofs, Applications†+title: Summer School Marktoberdorf 2019 --- 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),