diff --git a/courses/swuv.md b/courses/swuv.md index daace3d2afb6ddbe79da6a98a56558a0ab6c701b..2db9aa676d1eb8e938594ff26ce5a98bc530495f 100644 --- a/courses/swuv.md +++ b/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