Update swuv.md

courses/swuv.md

@@ -45,8 +45,8 @@ Studenten, die nicht persönlich teilnehmen können, sollten zum ersten Termin p
 | 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation
 | 04. 11. 2021 | Moritz Blöcher | Derived Inference Rules in LATIN | BSc project presentation
 | 11. 11. 2021 | John Schihada | Knowledge-Based Physics Simulation| MSc thesis presentation
-| 18. 11. 2021 | Alexander Steen | TBD | parallel event, different place
-| 25. 11. 2021 | |  |
+| 18. 11. 2021 | Alexander Steen | Introduction Automated Reasoning | Juridicum, parallel event
+| 25. 11. 2021 | cancelled |  |
 | 02. 12. 2021 | |  |
 | 09. 12. 2021 | Ivo Junior (date not certain yet) | BSc. Presentation |
 | 16. 12. 2021 | Navid Roux | Structure-Preserving Diagram Operators (date not certain yet) | MSc thesis presentation