diff --git a/courses/swuv.md b/courses/swuv.md
index c7115db3abac951814027431be7750d7594786de..f2fce9d45cbeb28004e593a1f773530f5797128a 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -47,9 +47,9 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 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)
-| 27. 01. 2021 | Navid Roux | Logical Relations |
+| 27. 01. 2021 | Navid Roux | Logical Relations for a Logical Framework | [slides](https://gl.kwarc.info/supervision/seminar/-/blob/master/WS2021/2021-01-27-roux-logical-relations.pdf), [underlying paper](https://kwarc.info/people/frabe/Research/RS_logrels_12.pdf)
 | 03. 02. 2021 | Sebastian Weber | TBD |
-| 10. 02. 2021 | Max Rapp| Sequent Calculi for Argumentation and/or Adaptive Logics|
+| 10. 02. 2021 | Max Rapp | Sequent Calculi for Argumentation and/or Adaptive Logics|
 
 ##### Vortragsthemen