diff --git a/courses/wuv.md b/courses/wuv.md index 476756a97ba119105cead15b15ddaa2eac27c570..a01915885b9a5539d175d7d2ac817ed71218476a 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 |