From eb474570f7917b76f87f2168822f1c5f10c6d9b8 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 4 Jul 2022 09:10:55 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 0d4b6bc..6a0cad7 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 -- GitLab