Commit b04fa64d authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent fc85c0c6
Pipeline #2239 passed with stage
in 37 seconds
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment