diff --git a/courses/wuv.md b/courses/wuv.md
index 72154394a8fe4b617299ab327fcb1616ed6acb46..476756a97ba119105cead15b15ddaa2eac27c570 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -28,6 +28,13 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- |
 | 18.4. 2018 | Entfällt| |
 | 25. 4. 2018 | Michael Kohlhase| How to read scientific articles|
+| 3. 5. 2018 |  Entfaellt ||
+| 10. 5. 2018 | Michael Kohlhase | ALMANAC: Argumentation Logics Manager & Argument Context Graph|
+| 17. 5. 2018 | Dennis Müller| Records as Types |
+| 24. 5.  2018 | ??? | ????|
+| 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|
 | ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|