From 453213bbf9e5620bb1266095f0b0ad7686c9bd6a Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Wed, 8 Jan 2020 08:14:33 +0100 Subject: [PATCH] more --- courses/wuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index 7e84b8f..5faaa46 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| -- GitLab