From 2a19536a6f871f63e1b12ba2f566857edec6cbdd Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Wed, 4 May 2022 10:27:09 +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 5c633d7..d25176b 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 | Kohlhase, Rabe | How to read a paper? | 
 | 19. 05. 2022 | Kohlhase, Rabe | How to give a talk? | 
 | 26. 05. 2022 | holiday|  | 
-| 02. 06. 2022 | |  | 
+| 02. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation 
 | 09. 06. 2022 | |  | 
 | 16. 06. 2022 | holiday |  | 
 | 23. 06. 2022 | |  | 
-- 
GitLab