From eeca9a74d7895d91e5fb543e961d42d161dec521 Mon Sep 17 00:00:00 2001 From: Tom Wiesing <tom.wiesing@fau.de> Date: Fri, 22 May 2020 11:35:09 +0200 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 6440209..51cbce5 100644 --- 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 | | | -- GitLab