Update swuv.md

courses/swuv.md

@@ -61,7 +61,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
 | 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 | |  | 
+| 23. 06. 2022 | Florian Rabe | Unification in MMT 
 | 30. 06. 2022 | |  | 
 | 07. 07. 2022 | Sven Wille | Interactive Theorem Proving in MMT  | MSc thesis presentation 
 | 14. 07. 2022 | Moritz Blöcher | Towards Functional Programming in LATIN2 | BSc. thesis presentation