diff --git a/courses/swuv.md b/courses/swuv.md index ca4f103cff6abef04759ae49f643b06bec26dc22..6440209a3db9c3c1c6751bea211875cc6c117921 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -44,10 +44,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 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 | Dennis Müller | From Informal to Formal Mathematics | -| 03. 06. 2020 | | | +| 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind| | 10. 06. 2020 | | | | 17. 06. 2020 | | | -| 24. 06. 2020 | | | +| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT | | 01. 07. 2020 | | | | 8. 7. 2020 | Jan Frederik Schaefer | GLIF/Jupyter| | 15. 07. 2020 | | | @@ -55,12 +55,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 29. 07. 2020 | | | | ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"| | ???? | Kohlhase | How to read scientific articles| -| ??? | Benjamin Gorny | Knowledge Representation in DeepMind| | ??? | Heiko Sonnenberg | Something about Argumentation Logics| | ??? | Pascal Zoleko | Something from Marcos Cramer's Diss| | ???? | Florian Stangl | Something about Jupyther | | ??? | Annika Schmidt | Curry Howard Isomorphism| -| ???? | Sven Wille | AC2 | +| ???? | Sven Wille | ACL2 | ##### Vortragsthemen