diff --git a/courses/wuv.md b/courses/wuv.md
index 7a2986f73ea5cc5eb1ccf6bab8d896009a577a55..f3085104a1ddd2ee88cbae40d213dc73f0f02a5c 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -13,7 +13,7 @@ semesters:
- SS19
---
Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
--Verarbeitung, mit einem Fokus auf mathematisches Wissen.
+-Verarbeitung, mit einem Fokus auf mathematischem Wissen.
Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von
Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für
@@ -21,6 +21,8 @@ Doktoranden. Sie spiegeln recht gut die Forschungsinteressen der
[KWARC Gruppe](http://kwarc.info) wieder. Daher ist dieses Seminar sehr gut geeignet um in
die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
+*Seminartermin/Ort*: Mittwochs 15:45-16:00, Raum 00.131-128, Cauerstraße 11
+
|Datum|Sprecher|Thema|
|-----|-------|-----|
| 11. 4. 2018| Michael Kohlhase| Admin, Themenvergabe | -- |
@@ -30,7 +32,10 @@ die Arbeitsgruppe einzusteigen (z.B. für eine Promotion).
| 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:
+
+##### Vortragsthemen
+
+Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminarterminen. Hier ist eine Auswahl für das SS 2018:
|Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin|
|-----|-------|-----|-------|---------|
@@ -47,13 +52,12 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
| LF + Interection Types | | fortgeschritten| |
| McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
-
Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/151-Seminar-Wissensrepraesentation-und-verarbeitung)
statt. Dies ist eine wichtige Quelle von Ankündigungen sowie Rat und Tat. Wir bemühen uns,
auf dem Forum präsent zu sein, und schnell auf Fragen zu antworten. Also das Forum
abonnieren!
-### For the record: Seminarplan WS2017/18
+##### For the record: Seminarplan WS2017/18
|Datum|Sprecher|Thema|
|-----|-------|-----|