diff --git a/courses/swuv.md b/courses/swuv.md index 366c287a189dacc1a1c541622328946fd6df9ef5..9297ada5660e2597a0750bb6027b5fa4afd73c36 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 | | | +| 18. 11. 2021 | Johannes Westfahl| tbd| | 25. 11. 2021 | Michael Wagner | Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization | MSc thesis presentation | 02. 12. 2021 | | | | 09. 12. 2021 | | |