From e61a9a6c5b36ad66c94d36833a9ef68e0027a9f6 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Mon, 4 Oct 2021 10:05:03 +0000 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/courses/swuv.md b/courses/swuv.md index 5cc5763..b4e513d 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -40,12 +40,12 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). |Datum|Sprecher|Thema|Notiz| |-----|--------|-----|----| | 21. 10. 2021 | Kohlhase, Rabe | Admin, Themenvergabe | -| 28. 10. 2021 | Annika Schmidt | Modular Formalization of Set Theory | MSc thesis presentation (tentative) -| 04. 11. 2021 | Kohlhase, Rabe | How to read a paper? | +| 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 | Kohlhase, Rabe | How to give a scientific talk? | +| 18. 11. 2021 | Kohlhase, Rabe | How to read a scientific paper? | | 25. 11. 2021 | Michael Wagner | Tetrapodal Harvesting of the OEIS - FAIR, Semantic Extraction and Organization | MSc thesis presentation -| 02. 12. 2021 | | | +| 02. 12. 2021 | Kohlhase, Rabe | How to give a scientific talk? | | 09. 12. 2021 | | | | 16. 12. 2021 | | | | 23. 12. 2021 | entfällt | | -- GitLab