From c2e59844892454afc77ce2ae194830512097381a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Tue, 6 Feb 2018 11:51:18 +0100
Subject: [PATCH] no talk this week

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

diff --git a/courses/wuv.md b/courses/wuv.md
index 4d536be..a6a2ed1 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -34,10 +34,11 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
 | 20. 12. 2017 | Michael Kohlhase | Visual structure in math vexpressions. |
 | 10. 1. 2018 | Florian Rabe | String Interpolation in MMT |
 | 24. 1. 2018 | Frederik Schäfer| Weak Type Theory|
-| 31. 1. 2018| ---- | ------| 
+| 31. 1. 2018| ---- | ------|
+<!-- next semester
 | 7. 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:
 
 |Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
-- 
GitLab