diff --git a/courses/wuv.md b/courses/wuv.md
index 18776562e50ba593be46082ac3503b2cb8567f64..edafbaf1a486f616b98cb97e80755060166003a2 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -34,8 +34,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 16. 5. 2018 | Dennis Müller| Records as Types |
 | 30. 5.  2018 | ??? | ????|
 | 6. 6.  2018 | ??? | ????|
-| 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific formal languages  and informal text documents |
-| ???? | Dennis Müller| A View Finder for MMT libraries|
+| 13. 6. 2018 | Makarius Wenzel (Augsburg) & Isabelle/jEdit as IDE for domain-specific
+formal languages  and informal text documents |
+| 4. 7. 2018 | Martin Holzwarth | Framing | 
+| ???? | Alpcan Dalga | OpenMath & Dennis |
+| ???? | SCSCP Müller| A View Finder for MMT libraries|
 | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
 
 ##### Vortragsthemen