From 3396ada03b65f5a5b0f05866fac0094b0d43f729 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Tue, 10 May 2022 10:11:55 +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 d25176b..c70f718 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 -- GitLab