diff --git a/courses/swuv.md b/courses/swuv.md index 381f2364aa813e4dd8778ab1649c9003c4430115..3bc3d2ff6f31946b63da2a1eddf3c47f46d15be9 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