| 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 |
| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub |[Slides](https://kwarc.info/people/twiesing/pubs/phd-proposal-slides.pdf) |