diff --git a/courses/wuv.md b/courses/wuv.md
index 695ee1b1e74c933f74453c42c1d1bc112b7b51c0..070dbd258fb2c25669e77b8571ab1c24a50a5b4c 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -32,7 +32,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 9. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph|
 | 16. 5.  2018 | Entfällt| | |
 | 23. 5. 2018 | Dennis Müller| Records as Types |
-| 30. 5.  2018 | ??? | ????|
+| 30. 5.  2018 | Entfällt| | |
 | 6. 6.  2018 | ??? | ????|
 | 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 |