slots

courses/swuv.md

@@ -62,17 +62,18 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
 | 20. 04. 2023 | cancelled |||
 | 27. 04. 2023 | Kohlhase, Rabe | Admin, discussion of topics ||
 | 04. 05. 2023 | Philipp Hutterer | sTeX IDE| Master's Thesis Talk|
-| 11. 05. 2023 | Kohlhase, Rabe | How to give a talk? ||
+| 11. 05. 2023 | Kohlhase, Rabe | How to give read a paper, how to give a talk? ||
 | 18. 05. 2023 | holiday | 
 | 25. 05. 2023 | |||
-| 01. 06. 2023 | |||
+| 01. 06. 2023 | ||moved to 20.7|
 | 08. 06. 2023 | holiday || 
-| 15. 06. 2023 | |||
-| 22. 06. 2023 | |||
-| 29. 06. 2023 | |||
-| 06. 07. 2023 | |||
-| 13. 07. 2023 | |||
-| 20. 07. 2023 | |||
+| 15. 06. 2023 | Rithika Cariappa| Adversarial Policies ||
+| 22. 06. 2023 | Dirk Boehme | Isabelle/HOL||
+| 29. 06. 2023 | Jakob Gross| Haskell/Hardware||
+| 06. 07. 2023 | Mark Tintemann| Metamath0 ||
+| 13. 07. 2023 | Yasmeen Shawat|Weak Type Theory||
+| 20. 07. 2023 |????? | ??? |12-14|
+| 20. 07. 2023 | Jeremias Mennecke | Automated Generation of exam sheets ||
 
 ##### Topics