Update swuv.md

courses/swuv.md

@@ -45,21 +45,18 @@ 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 | | |
-| 17. 06. 2020 | | |
+| 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 | | |
+| 01. 07. 2020 | Sven Wille | ACL2 | 
 | 8. 7. 2020 | Jan Frederik Schaefer | GLIF/Jupyter|
-| 15. 07. 2020 | | |
-| 22. 07. 2020 | | |
-| 29. 07. 2020 | | |
+| 15. 07. 2020 | Annika Schmidt | Curry Howard Isomorphism|
+| 22. 07. 2020 | Pascal Zoleko | Something from Marcos Cramer's Diss|
+| 29. 07. 2020 | Florian Stangl | Something about Jupyther |
 | ???? | Max Rapp? | How to Identify, Translate, and Combine Logics?"|
 | ???? | Kohlhase | How to read scientific articles|
 | ??? | Heiko Sonnenberg | Something about Argumentation Logics|
-| ??? | Pascal Zoleko | Something from Marcos Cramer's Diss|
-| ???? | Florian Stangl | Something about Jupyther | 
-| ??? | Annika Schmidt | Curry Howard Isomorphism|
-| ???? | Sven Wille | ACL2 | 
+
 
 
 ##### Vortragsthemen