From 9664b539e78fcfd07a3aef0d25004129f2939f18 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Fri, 10 Jun 2022 13:09:07 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index a3ccf6a..f835c94 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 | | | -- GitLab