diff --git a/courses/wuv.md b/courses/wuv.md index 070dbd258fb2c25669e77b8571ab1c24a50a5b4c..5ec5bff002ffdad2066fdf3fdd070ed8506bd54f 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -33,7 +33,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). | 16. 5. 2018 | Entfällt| | | | 23. 5. 2018 | Dennis Müller| Records as Types | | 30. 5. 2018 | Entfällt| | | -| 6. 6. 2018 | ??? | ????| +| 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 | | 4. 7. 2018 | Martin Holzwarth | Framing | | ???? | Alpcan Dalga | OpenMath & SCSCP |