add slot for my practice talk on lfmtp

aa99cfd5 · Navid Roux · 7b3b1ffc · aa99cfd5
Commit aa99cfd5 authored 3 years ago by Navid Roux
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -48,7 +48,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 10. 06. 2021 | | |
 | 17. 06. 2021 | | |
 | 24. 06. 2021 | | |
-| 01. 07. 2021 | | |
+| 01. 07. 2021 | Navid Roux | [Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style](https://kwarc.info/people/frabe/Research/RR_softening_21.pdf) |
 | 08. 07. 2021 |Roman Hucke | DOL and OntoHub | date not certain yet
 | 15. 07. 2021 |Johannes Westphal | GLIF | date not certain yet