From e71ddba9603c8c54a5ecc2047eee86e10b5e13a5 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Mon, 22 Jul 2019 14:32:34 +0200 Subject: [PATCH] typo --- courses/wuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/wuv.md b/courses/wuv.md index 7560f26..5daf690 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -40,7 +40,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory|| | 10. 7. 2019 | - | entfaellt || | *15. 7. 2019, 14:00 | Navid Roux| Refactoring Theory Graphs in KM Systems (Raum 11.139)|Sondertermin| -| *17. 7. 2019 | Kathrin Horsting| Somthing with WissK|Cauerstraße 4, Raum 0.332| +| *17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|Cauerstraße 4, Raum 0.332| | 24. 7. 2019 | - | entfaellt || ##### Vortragsthemen -- GitLab