Commit 2a19536a authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent c6ed17e1
Pipeline #4404 passed with stage
in 2 minutes
......@@ -58,7 +58,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 12. 05. 2022 | Kohlhase, Rabe | How to read a paper? |
| 19. 05. 2022 | Kohlhase, Rabe | How to give a talk? |
| 26. 05. 2022 | holiday| |
| 02. 06. 2022 | | |
| 02. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation
| 09. 06. 2022 | | |
| 16. 06. 2022 | holiday | |
| 23. 06. 2022 | | |
......
Supports Markdown
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