diff --git a/courses/wuv.md b/courses/wuv.md index 602ef826f82cfbdaaab66773db78532fc2a09fc4..cba75357e6265b9ac79c11917602ab4951e50cc9 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -35,7 +35,9 @@ 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| ##### Vortragsthemen Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das SS 2018: