diff --git a/courses/wuv.md b/courses/wuv.md index f4b55866567cc3790aa13a4e7d81d3444450f7a0..6ea8525054b582004b2d3df6bbdbfbc00ad2d783 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -40,7 +40,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 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) | +| 15. 1. 2019 | Takuto Asakura (NII Tokyo) | Towards Grounding of Formulae in Mathematical Objects| | 22. 1. 2019 | | | | 29. 1. 2019 | Lorenz Oberhauser| Curry Howard Isomorphism| | 5. 2. 2019 | Max Rapp| ALMANAC and on |