diff --git a/courses/wuv.md b/courses/wuv.md index c925310bfdb413ccaaa8d9c686126cdaa1d4ee75..d3c6969c6a2988e101026bd54410ed8409979697 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -35,9 +35,10 @@ 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 | +| 20. 6. 2018 | Entfällt| | | +| 27. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP | | 4. 7. 2018 | Martin Holzwarth | Framing | -| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| +| 11. 7. 2018 | Jonny Schäfer | <Something with Argumentation>| ##### Vortragsthemen