diff --git a/courses/swuv.md b/courses/swuv.md index 1267190966dfe25357262c68db5f007c39a7bfb6..4a24116b20512a1fc3d928c143ac146a9a9c75d3 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -40,9 +40,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 04. 11. 2020 | Rabe | Admin, Themenvergabe | | 11. 11. 2020 | Kohlhase, Rabe | How to read a scientific paper? | | 18. 11. 2020 | Kohlhase, Rabe | How to give a scientific talk? | -| 25. 11. 2020 | | | -| 02. 12. 2020 | Betzendahl | Formalizing Undefinedness: A survey | -| 09. 12. 2020 | | | +| 25. 11. 2020 | | entfällt | +| 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey | +| 09. 12. 2020 | Michael Banken | Theory Intersection| | 16. 12. 2020 | | | | 23. 12. 2020 | entfällt | | | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation