Update swuv.md

courses/swuv.md

@@ -55,25 +55,25 @@ We also occasionally have advanced talk from visiting researchers.
 The social center of the seminar is the [KWARC research group](http://kwarc.info), and the talks reflect the current research in the group.
 Therefore, the seminar is well-suited for newcomers, e.g., students interested in a Master thesis or PhD.
 
-##### Schedule SS 2023
+##### Schedule WS 2023/2024
 
 |Date|Speaker|Topic|Remark|
 |----|-------|-----|------|
-| 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 read a paper? ||
-| 18. 05. 2023 | holiday | 
-| 25. 05. 2023 | Rabe | How to give a talk?||
-| 01. 06. 2023 | ||moved to 20.7|
-| 08. 06. 2023 | holiday || 
-| 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 | Jeremias Mennecke | Automated Generation of exam sheets ||
-| 20. 07. 2023 | Omar Lotfy | An verview of ontology querying ||
-
+| 19. 10. 2023 | Kohlhase, Rabe | Admin, discussion of topics ||
+| 26. 10. 2023 | Kohlhase, Rabe  | How to read a paper? ||
+| 02. 11. 2023 |  |  ||
+| 09. 11. 2023 |  |  ||
+| 16. 11. 2023 |  |  ||
+| 23. 11. 2023 |  |  ||
+| 30. 11. 2023 |  |  ||
+| 07. 12. 2023 |  |  ||
+| 14. 12. 2023 |  |  ||
+| 21. 12. 2023 |  |  ||
+| 11. 01. 2024 |  |  ||
+| 18. 01. 2024 |  |  ||
+| 25. 01. 2024 |  |  ||
+| 01. 02. 2024 |  |  ||
+| 08. 02. 2024 |  |  ||
 
 ##### Topics
 
@@ -96,6 +96,25 @@ More topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those
 | LF + Intersection Types | | advanced|
 | McAllister-Foundation || with Voldemort's Theorem (difficult) |
 
+##### For the record: SS 2023
+
+|Date|Speaker|Topic|Remark|
+|----|-------|-----|------|
+| 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 read a paper? ||
+| 18. 05. 2023 | holiday | 
+| 25. 05. 2023 | Rabe | How to give a talk?||
+| 01. 06. 2023 | ||moved to 20.7|
+| 08. 06. 2023 | holiday || 
+| 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 | Jeremias Mennecke | Automated Generation of exam sheets ||
+| 20. 07. 2023 | Omar Lotfy | An verview of ontology querying ||
+
 ##### For the record: WS 2022/23
 
 |Datum|Sprecher|Thema|Notiz|