diff --git a/courses/swuv.md b/courses/swuv.md index 2dc0196c15c662ef11d059c0a7165501f03de202..8a5931d548a1dd26cd0b9aa6a6e2b38fc1f2d62a 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -45,7 +45,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 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 | | | fällt aus| +| 10. 06. 2020 | | fällt aus| | 17. 06. 2020 | Jonas Betzendahl | Functional Programming with Barbed Wire etc. | | 24. 06. 2020 | Jan Frederik Schaefer | ELPI and MMT | | 01. 07. 2020 | Sven Wille | ACL2 |