Commit 39314160 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more

parent e29ce61b
Pipeline #2220 passed with stage
in 46 seconds
......@@ -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 |
| 27. 05. 2020 | Max Rapp? | How to Identify, Translate, and Combine Logics?"|
| 27. 05. 2020 | | |
| 03. 06. 2020 | | |
| 10. 06. 2020 | | |
| 17. 06. 2020 | | |
......@@ -53,6 +53,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 15. 07. 2020 | | |
| 22. 07. 2020 | | |
| 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|
......
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