From 04e88a5696ca516f590ce24d86c607ee6dd88da2 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 28 Oct 2019 14:58:28 +0000 Subject: [PATCH] Update 2019-08-09-marktoberdorf.md --- _posts/2019-08-09-marktoberdorf.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2019-08-09-marktoberdorf.md b/_posts/2019-08-09-marktoberdorf.md index f82e497..110d589 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), -- GitLab