Commit 76c586be authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent 33c197e7
Pipeline #2438 passed with stage
in 2 minutes and 14 seconds
......@@ -51,7 +51,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
| 01. 07. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
| 08. 07. 2020 | entfällt| |
| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism|
| 22. 07. 2020 | Pascal Zoleko | Something from Marcos Cramer's Diss|
| 22. 07. 2020 | Pascal Zoleko | A Symbolic Approach to Job Recommendation.|
| 29. 07. 2020 | Florian Stangl | Something about Jupyther |
| ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"|
| ???? | Kohlhase | How to read scientific articles|
......
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