Update swuv.md

eeca9a74 · Tom Wiesing · b04fa64d · eeca9a74
Commit eeca9a74 authored 4 years ago by Tom Wiesing
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -42,7 +42,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 29. 04. 2020 | Kohlhase| Themenvergabe, Workshop-Vortrag|
 | 06. 05. 2020 | ---- | fällt aus|
 | 13. 05. 2020 | Benjamin Bösl| FrameIT: A Logic-Based Framework for Serious  Games |
-| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/phd-proposal-slides.pdf) |
+| 20. 05. 2020 | Tom Wiesing | Interactions between aspects of Tetrapodal Mathematics on MathHub | [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_20_phdproposal.pdf) |
 | 27. 05. 2020 | Dennis Müller | From Informal to Formal Mathematics | 
 | 03. 06. 2020 | Benjamin Gorny | Knowledge Representation in DeepMind|
 | 10. 06. 2020 | | |