diff --git a/courses/wuv.md b/courses/wuv.md index 4a0b2de92a2f5026bbce2db8f769891a32e1ad10..cc18eb920b6a81fa823b89b4c3f9c93c0447da0f 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -34,11 +34,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 23. 5. 2018 | Dennis Müller| Records as Types | | 30. 5. 2018 | ??? | ????| | 6. 6. 2018 | ??? | ????| -| 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific +| 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents | | 4. 7. 2018 | Martin Holzwarth | Framing | -| ???? | Alpcan Dalga | OpenMath & Dennis | -| ???? | SCSCP Müller| A View Finder for MMT libraries| +| ???? | Alpcan Dalga | OpenMath & SCSCP | | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| ##### Vortragsthemen