From e69f35b48bbbe8f56fb777043f84d21251a2c47e Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Thu, 27 Oct 2022 13:43:56 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index daace3d..2db9aa6 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 -- GitLab