From 8cc0e84c50c76708ae47841223f6d0ffee13ec74 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 10 Jan 2018 08:01:42 +0100
Subject: [PATCH] adding Frederik

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

diff --git a/courses/wuv.md b/courses/wuv.md
index 112883e..1eb2704 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -32,7 +32,8 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 6. 12. 2017 | ----- | ----- |
 | 13. 12. 2017 | ----- | ----- |
 | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
-| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT | 
+| 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
+| 17. 1. 2018 | Frederik Schäfer| Weak Type Theory|
 | ?.?? 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