diff --git a/courses/wuv.md b/courses/wuv.md index 7e84b8f6a346955e3ce55c7736810fb46de9f209..5faaa46c00493e987f6f958d6a20b4b1234fd505 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -39,7 +39,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 4. 12. 2019 | Katja Berčič | Research data in mathematics: taking the high road | | 11. 12. 2019 | --- | no seminar| | 18. 12. 2019 | Christoph Alt | Formula Search for the nLab| -| 8. 1. 2020 | | | +| 8. 1. 2020 | --- | no seminar | | 15. 1. 2020 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects| | 22. 1. 2020 | | | | 29. 1. 2020 | Lorenz Oberhauser| Curry Howard Isomorphism|