diff --git a/courses/wuv.md b/courses/wuv.md index edafbaf1a486f616b98cb97e80755060166003a2..4a0b2de92a2f5026bbce2db8f769891a32e1ad10 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| -| 2. 5. 2018 | Entfaellt || +| 2. 5. 2018 | Entfällt || | 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 | Dennis Müller| Records as Types | | 30. 5. 2018 | ??? | ????| | 6. 6. 2018 | ??? | ????| | 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific