diff --git a/courses/swuv.md b/courses/swuv.md index 09c09015b0b893cf494e1babf9e9b4b75f272eba..8a77ccad4eed19d83959adf8c5a6074afeb1d4d5 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -45,7 +45,7 @@ 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 | Johannes Westfahl| tbd| +| 18. 11. 2021 | Johannes Westphahl| tbd| | 25. 11. 2021 | | | | 02. 12. 2021 | | | | 09. 12. 2021 | | |