Commit 3396ada0 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent a17cf57e
Pipeline #4423 passed with stage
in 2 minutes and 4 seconds
......@@ -55,7 +55,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
|-----|--------|-----|----|
| 28. 04. 2022 | cancelled | |
| 05. 05. 2022 | Kohlhase, Rabe | Admin, discussion of topics |
| 12. 05. 2022 | Kohlhase, Rabe | How to read a paper? |
| 12. 05. 2022 | cancelled |
| 19. 05. 2022 | Kohlhase, Rabe | How to give a talk? |
| 26. 05. 2022 | holiday| |
| 02. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation
......
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