no talk this week

courses/wuv.md

@@ -34,10 +34,11 @@ 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|
-| 31. 1. 2018| ---- | ------| 
+| 31. 1. 2018| ---- | ------|
+<!-- next semester
 | 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:
 
 |Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|