Update swuv.md

courses/swuv.md

@@ -25,8 +25,8 @@ semesters:
 
 ##### 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 is offered every semester. No formal registration is necessary - just attend the first meeting.
+It takes place every Thursdays 14:15-15:45 throughout the lecture period 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:
@@ -53,9 +53,47 @@ 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.
 
-##### WS 2022/23
+##### Schedule
+
+|Date|Speaker|Topic|Remark|
+|----|-------|-----|------|
+| 20. 04. 2022 | cancelled |||
+| 27. 04. 2022 | Kohlhase, Rabe | Admin, discussion of topics ||
+| 04. 05. 2022 | Kohlhase, Rabe | How to give a talk? ||
+| 11. 05. 2022 | |||
+| 18. 05. 2022 | holiday | 
+| 25. 05. 2022 | |||
+| 01. 06. 2022 | |||
+| 08. 06. 2022 | holiday || 
+| 15. 06. 2022 | |||
+| 22. 06. 2022 | |||
+| 29. 06. 2022 | |||
+| 06. 07. 2022 | |||
+| 13. 07. 2022 | |||
+| 20. 07. 2022 | |||
+
+##### Topics
+
+The seminar consists of weekly talks. Every student chooses one topic on which to give a talk.
+Additionally every student prepares a report about their topic. The grades is based on attendance, the talk, and the report.
+
+Topics are chosen individually with the instructors, typically at the first seminar slot.
+Students are allowed and encouraged to make suggestions for their topic - anything is allowed that is scientific and broadly related to knowledge representation.
+
+As a rough idea, some potential topics are given below.
+More topics can be found at https://gl.kwarc.info/kwarc/thesis-projects/ (Those are thesis topics, but they are representative of the kind of topics that also work in the seminar.)
+
+|Thema | Literatur | Schwierigkeitsgrad 
+|-----|-------|-----|-------|---------|
+| Argumentation Logics | various topics||
+| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)| easy but logic-based |
+| MathLang| Kamareddine | |
+| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | easy |
+| MitM Foundation | | medium |
+| LF + Intersection Types | | advanced|
+| McAllister-Foundation || with Voldemort's Theorem (difficult) |
 
-**Correction**: Some dates below were off-by-1 and have been corrected. The seminar will take place on **Thursdays**.
+##### For the record: WS 2022/23
 
 |Datum|Sprecher|Thema|Notiz|
 |-----|--------|-----|----|
@@ -75,31 +113,6 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
 | 02. 02. 2023 |cancelled | | 
 | 07. 02. 2023 | Ahmed Mamdouh | Functional programming with bananas, lenses, envelopes and barbed wire | seminar presentation
 
-##### Vortragsthemen
-
-Themen werden mit dem Dozenten individuell ausgemacht, typischerweise in den ersten Seminarterminen.
-Vorschläge von Studenten sind möglich.
-
-Zur groben Orientierung ist hier eine repräsentative Auswahl von nicht belegten Themen der letzten Jahre:
-
-|Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
-|-----|-------|-----|-------|---------|
-| Distributed Ontology Language || Semantic Web needs Theory Graphs||
-| Argumentation Logics | various topics||
-| Weak Type Theory|[[1]](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf)|relativ einfach, aber Logik-lastig| | |
-| MathLang| Kamareddine | | |
-| Formula Parsing | Ginev M.Sc., Pichler MSc., various AITP papers | relativ einfach | |
-| Knowledger Representation/AI for Hanabi | google | medium | | 
-| Functional programming with bananas, lenses, envelopes and barbed wire|  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
-| MitM Foundation | | medium | | |
-| LF + Intersection Types | | advanced| |
-| McAllister-Foundation || with Voldemort's Theorem (difficult) |||
-
-Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
-statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
-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|