From 1f4794983581e24233875391ff4c3c6173549e9a Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Sat, 23 Jul 2022 14:23:16 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 6a0cad7..7762885 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -66,8 +66,8 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 04. 07. 2022 | Katja Bercic | Mathematical Data | invited talk by 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 | 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 +| 21. 07. 2022 | Navid Roux | A Framework for Diagram Operators | MSc thesis presentation: [slides](https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2022/diagops/build/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf) +| 28. 07. 2022 | Tobias Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation ##### Vortragsthemen @@ -131,8 +131,8 @@ abonnieren! | 17. 06. 2021 | Rabe (moderator) | Big Math and the One-Brain Barrier | reading group | 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus | | 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) | practice talk for LFMTP -| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk -| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk +| 08. 07. 2021 | Roman Hucke | DOL and OntoHub | seminar talk +| 15. 07. 2021 | Johannes Westphal | GLIF | seminar talk ##### For the record: Seminarplan WS2021 -- GitLab