From b56abc410a10ebb89aae2e124ebe951a11d4d0b5 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 23 Jun 2022 12:25:02 +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 8f5b5c7..381f236 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -66,7 +66,7 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 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 | | | -| 28. 07. 2022 | | | +| 28. 07. 2022 | Tobial Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation ##### Vortragsthemen -- GitLab