@@ -61,11 +61,11 @@ Therefore, the seminar is well-suited for newcomers, e.g., students interested i
| 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 | |
| 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
| 13. 01. 2021 | Nicolas Thierry | TBA |
| 20. 01. 2021 | Tim Friederich| A Semantic Search Engine for Quality Management | BSc thesis presentation
| 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
