From b262e7e7a895e50502c9566aabaa9f5dbf3f4f4a Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 27 Jun 2022 14:00:12 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 3bc3d2f..0d4b6bc 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 -- GitLab