Skip to content
Snippets Groups Projects
Commit 4f5e08ca authored by Florian Rabe's avatar Florian Rabe
Browse files

Update swuv.md

parent 89171c52
No related branches found
No related tags found
No related merge requests found
Pipeline #2949 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
courses/swuv.md
+ 1
− 1
View file @ 4f5e08ca
......@@ -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 | | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment