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

typo

parent 860a5290
Branches
No related tags found
No related merge requests found
...@@ -34,8 +34,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion). ...@@ -34,8 +34,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
| 23. 5. 2018 | Dennis Müller| Records as Types | | 23. 5. 2018 | Dennis Müller| Records as Types |
| 30. 5. 2018 | ??? | ????| | 30. 5. 2018 | ??? | ????|
| 6. 6. 2018 | ??? | ????| | 6. 6. 2018 | ??? | ????|
| 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific | 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents |
formal languages and informal text documents |
| 4. 7. 2018 | Martin Holzwarth | Framing | | 4. 7. 2018 | Martin Holzwarth | Framing |
| ???? | Alpcan Dalga | OpenMath & SCSCP | | ???? | Alpcan Dalga | OpenMath & SCSCP |
| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem| | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment