From 1fe8bd638538af05a3f5e9ba202f74cdbdca7485 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 11 Dec 2019 07:19:15 +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 f4b5586..6ea8525 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 | 
-- 
GitLab