From 74112a05c018a9037608648268d59f5ec3d587ab Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Fri, 20 Nov 2020 13:45:39 +0100 Subject: [PATCH] Update swuv.md --- courses/swuv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/courses/swuv.md b/courses/swuv.md index 7bc8f33..1267190 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -45,7 +45,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 09. 12. 2020 | | | | 16. 12. 2020 | | | | 23. 12. 2020 | entfällt | | -| 13. 01. 2021 | | | +| 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation | 20. 01. 2021 | Markus Wich | TBD | | 27. 01. 2021 | Navid Roux | Logical Relations | | 03. 02. 2021 | Sebastian Weber | TBD | -- GitLab