new semester

courses/swuv.md

@@ -53,25 +53,26 @@ 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.
 
-##### SS 2022
+##### WS 2022/23
 
 |Datum|Sprecher|Thema|Notiz|
 |-----|--------|-----|----|
-| 28. 04. 2022 | cancelled |  |
-| 05. 05. 2022 | Kohlhase, Rabe | Admin, discussion of topics |
-| 12. 05. 2022 | cancelled | 
-| 19. 05. 2022 | Kohlhase, Rabe | How to give a talk? | 
-| 26. 05. 2022 | holiday|  | 
-| 02. 06. 2022 | Kwarc group | Math Archives | group discussion
-| 09. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation 
-| 16. 06. 2022 | holiday |  | 
-| 23. 06. 2022 | moved to July 4 |
-| 27. 06. 2022 | Takuto Asakura | Grounding Mathematical Identifiers | invited talk by visiting researcher
-| 04. 07. 2022 | Katja Bercic | Mathematical Data  | invited talk by visiting researcher
-| 07. 07. 2022 | Sven Wille | Interactive Theorem Proving in MMT  | MSc thesis presentation 
-| 14. 07. 2022 | Moritz Blöcher | Towards Functional Programming in LATIN2 | BSc thesis presentation
-| 21. 07. 2022 | Navid Roux | A Framework for Diagram Operators  | MSc thesis presentation: [slides](https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2022/diagops/build/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf)
-| 28. 07. 2022 | Tobias Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation
+| 19. 10. 2022 | Kohlhase, Rabe | Admin, discussion of topics |
+| 26. 10. 2022 | Kohlhase, Rabe | How to give a talk? | 
+| 2. 11. 2022 | 
+| 9. 11. 2022 | 
+| 16. 11. 2022 | 
+| 23. 11. 2022 | 
+| 30. 11. 2022 | 
+| 23. 06. 2022 | 
+| 8. 12. 2022 | 
+| 15. 12. 2022 | 
+| 22. 12. 2022 | 
+| 12. 1. 2023 | 
+| 19. 1. 2023 |
+| 26. 1. 2023 | 
+| 2. 2. 2023 |
+| 7. 2. 2023 |
 
 ##### Vortragsthemen
 
@@ -98,6 +99,26 @@ statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir b
 auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
 abonnieren!
 
+##### For the record: SS 2022
+
+|Datum|Sprecher|Thema|Notiz|
+|-----|--------|-----|----|
+| 28. 04. 2022 | cancelled |  |
+| 05. 05. 2022 | Kohlhase, Rabe | Admin, discussion of topics |
+| 12. 05. 2022 | cancelled | 
+| 19. 05. 2022 | Kohlhase, Rabe | How to give a talk? | 
+| 26. 05. 2022 | holiday|  | 
+| 02. 06. 2022 | Kwarc group | Math Archives | group discussion
+| 09. 06. 2022 | Luca Wolff | Automated Theorem Proving for MMT | BSc thesis presentation 
+| 16. 06. 2022 | holiday |  | 
+| 23. 06. 2022 | moved to July 4 |
+| 27. 06. 2022 | Takuto Asakura | Grounding Mathematical Identifiers | invited talk by visiting researcher
+| 04. 07. 2022 | Katja Bercic | Mathematical Data  | invited talk by visiting researcher
+| 07. 07. 2022 | Sven Wille | Interactive Theorem Proving in MMT  | MSc thesis presentation 
+| 14. 07. 2022 | Moritz Blöcher | Towards Functional Programming in LATIN2 | BSc thesis presentation
+| 21. 07. 2022 | Navid Roux | A Framework for Diagram Operators  | MSc thesis presentation: [slides](https://gl.kwarc.info/supervision/seminar/-/tree/master/SS2022/diagops/build/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/-/blob/master/2022/RouxNavid.pdf)
+| 28. 07. 2022 | Tobias Völk, Philip Kaludercic | Designing a Text Protocol for the Game of Kalah | joint seminar presentation
+
 ##### For the record: WS 2021/2022
 
 |Datum|Sprecher|Thema|Notiz|