diff --git a/courses/wuv.md b/courses/wuv.md index 112883ee4c68fecaefb92ef310cc97fdf0eb50a5..1eb27046775edef41a4f08309250ffa4d9d60795 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -32,7 +32,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 6. 12. 2017 | ----- | ----- | | 13. 12. 2017 | ----- | ----- | | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. | -| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT | +| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT | +| 17. 1. 2018 | Frederik Schäfer| Weak Type Theory| | ?.?? 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: