From aaf22a34e979158518a029a1839f93febc74e25c Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Mon, 8 Jan 2018 21:42:58 +0100 Subject: [PATCH] more --- courses/wuv.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index c0d5580..112883e 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -31,7 +31,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC| | 6. 12. 2017 | ----- | ----- | | 13. 12. 2017 | ----- | ----- | -| 20. 12. 2017 | Michael Kohlhase | Visual structure in math expressions. | +| 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. | +| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT | | ?.?? 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