diff --git a/courses/swuv.md b/courses/swuv.md index 0d4b6bcf6ad8792f43a12911a32d66e6a4b5bc7b..6a0cad7991ea63e694472459dc6a0adfeb9a3a4f 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -61,8 +61,9 @@ 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 | Florian Rabe | Unification in MMT -| 27. 06. 2022 | Takuto Asakura | TBD | visiting researcher +| 23. 06. 2022 | moved to July 4 | +| 27. 06. 2022 | Takuto Asakura | Grounding Mathematical Identifiers | invited talk by visiting researcher +| 04. 07. 2022 | Katja Bercic | Mathematical Data | invited talk by visiting researcher | 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 | 21. 07. 2022 | Navid Roux |A Framework for Diagram Operators | MSc thesis presentation