Update swuv.md

courses/swuv.md

@@ -90,9 +90,9 @@ abonnieren!
 | 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 | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/wich-slides.pdf)
+| 20. 01. 2021 | Markus Wich | Autoformalization of Mathematics | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/wich-slides.pdf), [manuscript](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/wich.pdf)
 | 27. 01. 2021 | Navid Roux | Logical Relations for a Logical Framework | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/slides.pdf), [manuscript](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/logrels/guide.pdf), [underlying paper](https://kwarc.info/people/frabe/Research/RS_logrels_12.pdf)
-| 03. 02. 2021 | Sebastian Weber | TBD |
+| 03. 02. 2021 | Sebastian Weber | The UFrameIT Project | [manuscript](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/weber.pdf)
 | 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics|
 
 ##### For the record: Seminarplan SS20