@@ -43,7 +43,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 06. 05. 2020 | ---- | fällt aus|
| 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious Games |
| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/phd-proposal-slides.pdf) |
| 27. 05. 2020 | | |
| 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics |