diff --git a/courses/wuv.md b/courses/wuv.md index 4d536bed6551cd59ee33f3a213838984044cda1b..a6a2ed1a159f689bd45f28ef1ee3f2ae21434925 100644 --- a/courses/wuv.md +++ b/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|