From b1c935dbda57926ac7f8641d18f9ecf4ee34a44d Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 7 Jun 2018 08:24:45 +0200
Subject: [PATCH] more planning

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

diff --git a/courses/wuv.md b/courses/wuv.md
index c925310..d3c6969 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -35,9 +35,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 30. 5.  2018 | Entfällt| | |
 | 6. 6.  2018 | Frederik Schaefer| Math in GF|
 | 13. 6. 2018 | Makarius Wenzel (Augsburg) | Isabelle/jEdit as IDE for domain-specific formal languages  and informal text documents |
-| 20. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP |
+| 20. 6.  2018 | Entfällt| | |
+| 27. 6. 2018 | Alpcan Dalga | OpenMath & SCSCP |
 | 4. 7. 2018 | Martin Holzwarth | Framing | 
-| ????? | Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
+| 11. 7. 2018 | Jonny Schäfer | <Something with Argumentation>| 
 
 ##### Vortragsthemen
 
-- 
GitLab