From f1295d804dccb3b3ebb1613f017438792e57344c Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Fri, 7 Jun 2019 10:51:56 +0200 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 54f2f94..3fed7b7 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -35,9 +35,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 29. 5. 2019 | - | Christi Himmelfahrt| | 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs | | 12. 6. 2019| Frederik Schaefer | GF + MMT = GLF - From Language to Semantics Through LF| -| 19. 6. 2019 | Kathrin Horsting| Somthing with WissKI| | 26. 6. 2019 | - | entfaellt| | 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory| +| 10. 7. 2019 | - | entfaellt | +| 17. 7. 2019 | Kathrin Horsting| Somthing with WissKI| ##### Vortragsthemen -- GitLab