diff --git a/courses/swuv.md b/courses/swuv.md index a3ccf6a7fa06efaaa2a8ba92c08d7e8021c3fd1d..f835c9408c24e6a013924c639d382df4661a03dc 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -58,7 +58,7 @@ 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 | | | +| 02. 06. 2022 | Kwarc group | Math Archives | group discussion | 09. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation | 16. 06. 2022 | holiday | | | 23. 06. 2022 | | |