From 84d95e7b82077a9d91237f577989a9e6a216cdfb Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 9 May 2018 11:53:51 +0200 Subject: [PATCH] fixing dates --- courses/wuv.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/courses/wuv.md b/courses/wuv.md index 476756a..a019158 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -28,10 +28,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- | | 18.4. 2018 | Entfällt| | | 25. 4. 2018 | Michael Kohlhase| How to read scientific articles| -| 3. 5. 2018 | Entfaellt || -| 10. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph| -| 17. 5. 2018 | Dennis Müller| Records as Types | -| 24. 5. 2018 | ??? | ????| +| 2. 5. 2018 | Entfaellt || +| 9. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph| +| 16. 5. 2018 | Dennis Müller| Records as Types | +| 23. 5. 2018 | ??? | ????| | 30. 5. 2018 | ??? | ????| | 6. 6. 2018 | ??? | ????| | 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents | -- GitLab