Update swuv.md

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