diff --git a/courses/swuv.md b/courses/swuv.md
index 5c633d712b2e6f880609aeae1cf545a9707fa8f4..d25176b96d9e876e9ab40221306f51354981ee82 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 | |  |