From a98c633be666151d94afb4c0718453969984b3b0 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Fri, 12 Jan 2018 09:24:26 +0100
Subject: [PATCH] moving and adding Dennis

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

diff --git a/courses/wuv.md b/courses/wuv.md
index 1eb2704..e4eb0c0 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -33,7 +33,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 13. 12. 2017 | ----- | ----- |
 | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
 | 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
-| 17. 1. 2018 | Frederik Schäfer| Weak Type Theory|
+| 24. 1. 2018 | Frederik Schäfer| Weak Type Theory|
+| 7. 2. 2. 2018| Dennis Müller| McAllister's Foundation and Voldemort's Theorem|
 | ?.?? 2018| Jonas Butz |Mathematical models as research data via flexiformal theory graphs|
 
 Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das WS 17/18:
-- 
GitLab