diff --git a/courses/swuv.md b/courses/swuv.md index 3bc3d2ff6f31946b63da2a1eddf3c47f46d15be9..0d4b6bcf6ad8792f43a12911a32d66e6a4b5bc7b 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -65,7 +65,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 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 -| 21. 07. 2022 | | | +| 21. 07. 2022 | Navid Roux |A Framework for Diagram Operators | MSc thesis presentation | 28. 07. 2022 | Tobial Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation ##### Vortragsthemen