Update swuv.md

courses/swuv.md

@@ -66,13 +66,13 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
 | 17. 11. 2022 | 
 | 24. 11. 2022 | 
 | 01. 12. 2022 | 
-| 08. 12. 2022 | 
-| 15. 12. 2022 | Moritz Wurm | TBA | seminar presentation
+| 08. 12. 2022 | Alexander Mattick | Foundation-Independent Computation in MMT | MSc project presentation
+| 15. 12. 2022 | Moritz Wurm | Links between Argumentation Theory and Non-Monotonic Logic | seminar presentation
 | 12. 01. 2023 | Tim Friedrich | TBA | seminar presentation
 | 19. 01. 2023 | Peter Schick | AI for Hanabi | seminar presentation
 | 26. 01. 2023 | Alexander Mattick | Algebraic Effects | seminar presentation
-| 02. 02. 2023 | Aditi Kamboj | TBA | seminar presentation
-| 07. 02. 2023 | Ahmed Mamdouk | TBA | seminar presentation
+| 02. 02. 2023 | Aditi Kamboj | Structured Argumentation Theory | seminar presentation
+| 07. 02. 2023 | Ahmed Mamdouh | Functional programming with bananas, lenses, envelopes and barbed wire | seminar presentation
 
 ##### Vortragsthemen