more

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: