diff --git a/_posts/2019-08-09-marktoberdorf.md b/_posts/2019-08-09-marktoberdorf.md index 469d838ece141f652fe40cada5081ef937ae719f..f82e497771474cae8f07f561a379d342d9dd04cc 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