diff --git a/courses/wuv.md b/courses/wuv.md
index b95cb1625af7ad90c5ab3d5582b1028df50de5c8..8a2f9044b27de14e29e4abeb3c3d196a703f87c6 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -25,7 +25,7 @@ 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 Master-Arbeit oder Promotion). 
 
-*Seminartermin/Ort*: Mittwochs 14:45-16:00, Raum 00.131-128, Cauerstraße 11
+*Seminartermin/Ort*: Mittwochs 16:15-17:45, Raum 00.131-128, Cauerstraße 11
 
 |Datum|Sprecher|Thema|Notiz|
 |-----|-------|-----|----|
@@ -66,8 +66,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | Isabelle Type Classes and Locales| | logik-lastig| |
 | LF + Interection Types | | fortgeschritten| |
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
-| Functional programming with bananas, lenses, envelopes and barbed wire|
-  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
+| Functional programming with bananas, lenses, envelopes and barbed wire|  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
 |"Formal Semantics of Programming Languages" (Mosses)| ||
 | Overview of the ACL2 language and system | | |