From c9838c2678adad6e627d2c596dfa79935381209f Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 1 Jun 2022 16:58:46 +0000
Subject: [PATCH] Update swuv.md

---
 courses/swuv.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index c70f718..a3ccf6a 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 | |  | 
-- 
GitLab