diff --git a/courses/wuv.md b/courses/wuv.md index 5ec5bff002ffdad2066fdf3fdd070ed8506bd54f..c925310bfdb413ccaaa8d9c686126cdaa1d4ee75 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -35,8 +35,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 30. 5. 2018 | Entfällt| | | | 6. 6. 2018 | Frederik Schaefer| Math in GF| | 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents | +| 20. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP | | 4. 7. 2018 | Martin Holzwarth | Framing | -| ???? | Alpcan Dalga | OpenMath & SCSCP | | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| ##### Vortragsthemen