Skip to content
Snippets Groups Projects
Commit b87b4fe3 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent d230ecaa
No related branches found
No related tags found
No related merge requests found
Pipeline #2290 passed
......@@ -48,8 +48,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 10. 06. 2020 | | fällt aus|
| 17. 06. 2020 | Jonas Betzendahl | Functional Programming with Barbed Wire etc. |
| 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT |
| 01. 07. 2020 | Sven Wille | ACL2 |
| 8. 7. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
| 01. 07. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
| 08. 07. 2020 | Sven Wille | ACL2 |
| 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 |
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment