diff --git a/courses/wuv.md b/courses/wuv.md
index 1c81754fb9231faee19c11fae07c7596ad13a74f..cfaececc30494c312c244bc3ab1e0ca03977edd9 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -33,8 +33,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 23. 10. 2018 | Michael Kohlhase| How to read scientific articles|
 | 30. 10. 2018 | - | no seminar | 
 | 6. 11. 2018 | Rabe/Kohlhase | How to give a talk| 
-| 13. 11. 2018 | | | 
-| 20. 11. 2018 | | | 
+| 13. 11. 2018 | Max Rapp |Formalising the Law in Theory Graphs | 
+| 20. 11. 2018 |Florian Rabe | Intermediate Language for Formalization| 
 | 27. 11. 2018 | | | 
 | 4. 12. 2018 | | | 
 | 11. 12. 2018 | | |