From 07b9116b0c4e2a70b6521f48fcc96f13075a3910 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 25 Jun 2019 16:38:00 +0200 Subject: [PATCH] uhrzeit --- courses/wuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index 523fcad..e45618d 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -39,7 +39,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks| | 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory| | 10. 7. 2019 | - | entfaellt | -| *15. 7. 2019 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)| +| *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)| | 17. 7. 2019 | Kathrin Horsting| Somthing with WissKI| ##### Vortragsthemen -- GitLab