diff --git a/courses/swuv.md b/courses/swuv.md
index 474ec053b0619f3fe84585ed93db1d931f4a6e2e..475bc0b460c1506c903a9eb7efea892af37806d3 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -43,14 +43,14 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 06. 05. 2021 |Kohlhase, Rabe | How to give a talk?|
 | 13. 05. 2021 | holiday | |
 | 20. 05. 2021 |Kohlhase, Rabe | How to read a paper?|
-| 27. 05. 2021 | Rabe | Type-Dependent Equality |
+| 27. 05. 2021 | Rabe | Type-Dependent Equality | practice talk for CICM
 | 03. 06. 2021 | holiday | |
-| 10. 06. 2021 | | |
+| 10. 06. 2021 | Wagner, Rabe | OEIS in MMT | guided discussion of open problem
 | 17. 06. 2021 | | |
 | 24. 06. 2021 | Jonas Betzendahl | Formalising and Proving with Sudokus |
-| 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
+| 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) | practice talk for LFMTP
+| 08. 07. 2021 |Roman Hucke | DOL and OntoHub | seminar talk
+| 15. 07. 2021 |Johannes Westphal | GLIF | seminar talk
 
 ##### Vortragsthemen