diff --git a/courses/swuv.md b/courses/swuv.md index c1974bfb431548df9f9662fa001e2f9542ab767d..f2e20d357fdfa6391132cc3245bae6c9a21645aa 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