From e648bc4dd50ed574addcecf1d3e18c001fb69cfb Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 24 May 2018 15:10:13 +0200
Subject: [PATCH] more

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

diff --git a/courses/wuv.md b/courses/wuv.md
index 070dbd2..5ec5bff 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -33,7 +33,7 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 16. 5.  2018 | Entfällt| | |
 | 23. 5. 2018 | Dennis Müller| Records as Types |
 | 30. 5.  2018 | Entfällt| | |
-| 6. 6.  2018 | ??? | ????|
+| 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 |
 | 4. 7. 2018 | Martin Holzwarth | Framing | 
 | ???? | Alpcan Dalga | OpenMath & SCSCP |
-- 
GitLab