diff --git a/courses/swuv.md b/courses/swuv.md index c2d7cbf98431ff45b7b42c81b10afb36f36806c9..36bebad210d33f871d5e511482609ec8610ce939 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -43,7 +43,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 25. 11. 2020 | | entfällt | | 02. 12. 2020 | Jonas Betzendahl | Formalizing Undefinedness: A survey | | 09. 12. 2020 | Michael Banken | Theory Intersection| Msc. thesis presentation -| 16. 12. 2020 | Jan Frederik Schaefer | Prototyping NLU Pipelines -- A Type-Theoretical Framework | Msc. thesis presentation +| 16. 12. 2020 | Jan Frederik Schaefer | Prototyping NLU Pipelines -- A Type-Theoretical Framework | Msc. thesis presentation ([slides](https://github.com/jfschaefer/slides/raw/master/2020/swuv-msc-presentation/slides.pdf), [thesis](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2020/Schaefer_Jan_Frederik.pdf)) | 23. 12. 2020 | entfällt | | | 06. 01. 2021 | Marcel Dreier | Syntax and Semantics of Functional Concepts in Mathematics | Bsc. thesis presentation | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation