diff --git a/courses/swuv.md b/courses/swuv.md index 5cc5763d629a0afdd9782b21a5c89549955e3b50..b4e513d6ed6d7d54654561f8aedcb85091986904 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 | |