From 4ccdc24082b034e02ab81efb4cf0db891981b0cc Mon Sep 17 00:00:00 2001 From: Tom Wiesing <tkw01536@gmail.com> Date: Fri, 12 Jan 2018 15:08:29 +0100 Subject: [PATCH] Update wuv.md - typo --- courses/wuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index e4eb0c0..2cd83ea 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -34,7 +34,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. | | 10. 1. 2018 | Florian Rabe | String Interpolation in MMT | | 24. 1. 2018 | Frederik Schäfer| Weak Type Theory| -| 7. 2. 2. 2018| Dennis Müller| McAllister's Foundation and Voldemort's Theorem| +| 7. 2. 2018 | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| | ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs| Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das WS 17/18: -- GitLab