diff --git a/courses/swuv.md b/courses/swuv.md index c70f7184eba01081f2ab71f556024e8ce8938a7b..a3ccf6a7fa06efaaa2a8ba92c08d7e8021c3fd1d 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -58,8 +58,8 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 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 -| 09. 06. 2022 | | | +| 02. 06. 2022 | | | +| 09. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation | 16. 06. 2022 | holiday | | | 23. 06. 2022 | | | | 30. 06. 2022 | | |