From 24fd0917e2648f2d1d2c5f6bc12dbdb9145b5f90 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 25 Oct 2019 17:08:13 +0100 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 469d838..f82e497 100644 --- a/_posts/2019-08-09-marktoberdorf.md +++ b/_posts/2019-08-09-marktoberdorf.md @@ -14,4 +14,4 @@ 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 + \ No newline at end of file -- GitLab