diff --git a/courses/swuv.md b/courses/swuv.md
index 082e181251c09d568a472e451b785f093f00dba2..e7c99767893e8d5ae81dfa98328a70ce01f72a4f 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -19,7 +19,18 @@ semesters:
- SS22
---
-##### Das Seminar findet ab WS 2021/22 wieder in Präsenz statt
+##### Administrative
+
+The seminar takes place every semester on Thursdays 14:15-15:45 throughout the lecture period.
+It takes place in Room 00.131-128, Cauerstraße 11.
+
+The seminar takes place in-person unless mentioned otherwise.
+If we need to do it via zoom, we will use the following room:
+* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
+* meeting ID: 934 2482 0605
+* password: 027214
+
+##### Content and Audience
This seminar discusses selected topics from knowledge representation.
This is a wide field that pervades all of computer science and many adjacent sciences like mathematics and physics.
@@ -38,34 +49,24 @@ 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.
-*Seminartermin/-ort*: Donnerstag 14:15-15:45
-
-*The seminar will be online-only until further notice.*
-
-* zoom meeting room <https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09>
-* meeting ID: 934 2482 0605
-* password: 027214
-
-<!-- Raum 00.131-128, Cauerstraße 11 -->
+##### SS 2022
|Datum|Sprecher|Thema|Notiz|
|-----|--------|-----|----|
-| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
-| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
-| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
-| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
-| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
-| 25. 11. 2021 | cancelled | |
-| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
-| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
-| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
-| 23. 12. 2021 | cancelled | |
-| 06. 01. 2022 | cancelled | |
-| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
-| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
-| 27. 01. 2022 | cancelled | |
-| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
-| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
+| 28. 04. 2022 | Kohlhase, Rabe | Admin, Themenvergabe |
+| 05. 05. 2022 | Kohlhase, Rabe | How to read a paper? |
+| 12. 05. 2022 | Kohlhase, Rabe | How to give a talk? |
+| 19. 05. 2022 | | |
+| 26. 05. 2022 | holiday| |
+| 02. 06. 2022 | | |
+| 09. 06. 2022 | | |
+| 16. 06. 2022 | holiday | |
+| 23. 06. 2022 | | |
+| 30. 06. 2022 | | |
+| 07. 07. 2022 | | |
+| 14. 07. 2022 | | |
+| 21. 07. 2022 | | |
+| 28. 07. 2022 | | |
##### Vortragsthemen
@@ -92,6 +93,27 @@ 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: WS 2021/2022
+
+|Datum|Sprecher|Thema|Notiz|
+|-----|--------|-----|----|
+| 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe |
+| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
+| 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
+| 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
+| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
+| 25. 11. 2021 | cancelled | |
+| 02. 12. 2021 | Dennis Müller | Combining Statistical Machine Learning and Inductive Logic Programming | a general talk inspired by his 6 month visit at Fraunhofer Institute for Integrated Circuits
+| 09. 12. 2021 | Max Rapp | Formalizing Argumentation Logics | PhD thesis progress talk
+| moved to 5pm, 20. 12. 2021 | Ivo Junior | Interfacing Mathematical Human-Computer Interactions by Using the Grammatical Logical Inference Framework | BSc. Presentation |
+| 23. 12. 2021 | cancelled | |
+| 06. 01. 2022 | cancelled | |
+| 13. 01. 2022 | Fabian Brinkmann | Algebraic Language Theory |
+| 20. 01. 2022 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
+| 27. 01. 2022 | cancelled | |
+| 03. 02. 2022 | Names in DRT | Michael Kohlhase |
+| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group
+
##### For the record: Seminarplan SS21
|Datum|Sprecher|Thema|Notiz|