diff --git a/courses/wuv.md b/courses/wuv.md index f5020dea597ae3f89c8679676e48b2739629234e..f4b55866567cc3790aa13a4e7d81d3444450f7a0 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -37,7 +37,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 20. 11. 2018 | Florian Rabe | Intermediate Language for Formalization| | 27. 11. 2018 | Florian Rabe | Category of Theories, Diagram Operators | | 4. 12. 2018 | Katja Berčič | Research data in mathematics: taking the high road | -| 11. 12. 2018 | | | +| 11. 12. 2018 | --- | Fällt Aus| | 18. 12. 2018 | Christoph Alt | Formula Search for the nLab| | 8. 1. 2019 | | | | 15. 1. 2019 | Takuto Asakura (NII Tokyo) | (something on Math Linguistics) |