From 4e2ab8aba66cbde82a6c5c4a0bb793214c6dba10 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 23 Jun 2022 12:34:00 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 381f236..3bc3d2f 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -62,9 +62,9 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 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 -| 30. 06. 2022 | | | +| 27. 06. 2022 | Takuto Asakura | TBD | 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 +| 14. 07. 2022 | Moritz Blöcher | Towards Functional Programming in LATIN2 | BSc thesis presentation | 21. 07. 2022 | | | | 28. 07. 2022 | Tobial Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation -- GitLab