From 0cb01f7bf0f28db23111ca2c0ec20807d3ffd99a Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 13 Dec 2021 15:16:34 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index c1974bf..f2e20d3 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -60,11 +60,12 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i | 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 | | -| 13. 01. 2021 | | | -| 20. 01. 2021 | | | -| 27. 01. 2021 | Navid Roux | Structure-Preserving Diagram Operators (date not certain yet) | MSc thesis presentation -| 03. 02. 2021 | | | -| 10. 02. 2021 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group +| 06. 01. 2022 | cancelled | | +| 13. 01. 2022 | | | +| 20. 01. 2022 | | | +| 27. 01. 2022 | Navid Roux | Structure-Preserving Diagram Operators (date not certain yet) | MSc thesis presentation +| 03. 02. 2022 | | | +| 10. 02. 2022 | Chase Ford | Coalgebra | part of collaboration with Inf 8 group ##### Vortragsthemen -- GitLab