From 4f5e08ca46f8f6d4ebdb216482fa704c7fae7ba7 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 20 Jan 2021 16:17:09 +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 b57cacd..1c83e55 100644 --- a/courses/swuv.md +++ b/courses/swuv.md @@ -46,7 +46,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion). | 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 | | | 13. 01. 2021 | Christian Cerny | Term Generation in MMT | BSc. thesis presentation -| 20. 01. 2021 | Markus Wich | Autoformalization of Mathematics | +| 20. 01. 2021 | Markus Wich | Autoformalization of Mathematics | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/wich-slides.pdf) | 27. 01. 2021 | Navid Roux | Logical Relations | | 03. 02. 2021 | Sebastian Weber | TBD | | 10. 02. 2021 | | | -- GitLab