From 67668ada78fca12c223c5419f584ec444758aef7 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Thu, 14 Dec 2017 18:42:24 +0100 Subject: [PATCH] draining --- courses/wuv.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index 0974825..b06dae2 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -29,7 +29,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 15. 11. 2017 | Michael Kohlhase| Knowledge-Based Interoperability for Mathematical Software Systems| | 22. 11. 2017 | ----- | ----- | | 29. 11. 2017| Theresa Pollinger|Model Knowledge Representation for HPC| -| 6. 12. 2017 | ----- | ----- | +| 6. 12. 2017 | ----- | ----- | +| 13. 12. 2017 | ----- | ----- | +| 20. 12. 2017 | Michael Kohlhase | Visual structure in math expressions. | + | ?.?? 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