diff --git a/courses/swuv.md b/courses/swuv.md index d25176b96d9e876e9ab40221306f51354981ee82..c70f7184eba01081f2ab71f556024e8ce8938a7b 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -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