From ee0f7cfceee423497ee2591ba3a26f9d7588b46f Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sun, 23 Jun 2019 16:22:04 +0200
Subject: [PATCH] more

---
 courses/wuv.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/courses/wuv.md b/courses/wuv.md
index 3fed7b7..e5b21e1 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -35,7 +35,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Master-Arbeit oder Promotion).
 | 29. 5. 2019 | - | Christi Himmelfahrt|
 | 5. 6. 2019 | Marcel Rupprecht | Visualization of Theory Graphs |
 | 12. 6. 2019| Frederik Schaefer | GF +  MMT = GLF - From Language to Semantics Through LF|
-| 26. 6. 2019 | - | entfaellt|
+| 19. 6. 2019 | - | entfaellt |
+| 26. 6. 2019 | Tom Wiesing | Integrating semantic mathematical documents and dynamic notebooks|
 | 3. 7. 2019 | Jonas Beyer | Morphoid Type Theory|
 | 10. 7. 2019 | - | entfaellt |
 | 17. 7. 2019 | Kathrin Horsting| Somthing with WissKI|
-- 
GitLab