Skip to content
Snippets Groups Projects
Commit b1c935db authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more planning

parent 1e0f47c7
No related branches found
No related tags found
No related merge requests found
Pipeline #
......@@ -35,9 +35,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
| 30. 5. 2018 | Entfällt| | |
| 6. 6. 2018 | Frederik Schaefer| Math in GF|
| 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents |
| 20. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP |
| 20. 6. 2018 | Entfällt| | |
| 27. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP |
| 4. 7. 2018 | Martin Holzwarth | Framing |
| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
| 11. 7. 2018 | Jonny Schäfer | <Something with Argumentation>|
##### Vortragsthemen
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment