Commit 39c7000b authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent f1dfd576
Pipeline #2415 passed with stage
in 2 minutes and 30 seconds
......@@ -49,7 +49,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 17. 06. 2020 | entfällt| |
| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
| 01. 07. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
| 08. 07. 2020 | Sven Wille | ACL2 |
| 08. 07. 2020 | entfällt| |
| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism|
| 22. 07. 2020 | Pascal Zoleko | Something from Marcos Cramer's Diss|
| 29. 07. 2020 | Florian Stangl | Something about Jupyther |
......
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