From 20bf63c9039ebf5bfe32724bab89b0b93095314d Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Mon, 8 Nov 2021 15:23:35 +0100 Subject: [PATCH] more --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 366c287..9297ada 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 | | | -- GitLab