diff --git a/courses/swuv.md b/courses/swuv.md index ebf58a2b669986257bf21826e6ae7c1063c84809..8f5b5c7d4512cfc122567a2761c97d198c6e93ef 100644 --- a/courses/swuv.md +++ b/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