diff --git a/courses/wuv.md b/courses/wuv.md index a01915885b9a5539d175d7d2ac817ed71218476a..18776562e50ba593be46082ac3503b2cb8567f64 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -30,8 +30,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 25. 4. 2018 | Michael Kohlhase| How to read scientific articles| | 2. 5. 2018 | Entfaellt || | 9. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph| +| 16. 5. 2018 | Entfällt| | | | 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 |