diff --git a/courses/KRMT.md b/courses/KRMT.md
index a80497591c54c63b3f5241a15ba320c57ca3cfa3..75797a2af4bec3360bb7500c0d29a80bc148ca5b 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -22,3 +22,8 @@ Materialien:
 * [Tutorial zur Formalisierung](https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf)
 * [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
 
+Diskussionen finden auf dem
+[FSI Forum KRMT](https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren! 
+ 
diff --git a/courses/ai1.md b/courses/ai1.md
index e9c527e9a4e7f7ad99454de0072dbfa53d0f3160..dcca7b04648a3905a72deee7d33c95d9de904fb1 100644
--- a/courses/ai1.md
+++ b/courses/ai1.md
@@ -28,3 +28,8 @@ von Stuart Russell und Peter Norvig. Wir verwenden die dritte Ausgabe.
 Die Kursmaterialien (z.B. [Course Notes](http://kwarc.info/teaching/AI/notes.pdf) oder
 [Aufgaben](http://kwarc.info/teaching/AI/assignments.pdf), aber auch alte Klausuren)
 finden sich in [hier](http://kwarc.info/teaching/AI/). 
+
+Diskussionen finden auf dem
+[FSI Forum KI-I](https://fsi.cs.fau.de/forum/144-Kuenstliche-Intelligenz) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren! 
diff --git a/courses/ai2.md b/courses/ai2.md
index c8d10e43a10583321ac650aabedfc0552f0f4e72..5d3dd5ed3fe90cf805347df45eb49d04f49728cd 100644
--- a/courses/ai2.md
+++ b/courses/ai2.md
@@ -28,3 +28,8 @@ von Stuart Russell und Peter Norvig. Wir verwenden die dritte Ausgabe.
 Die Kursmaterialien (z.B. [Course Notes](http://kwarc.info/teaching/AI/notes.pdf) oder
 [Aufgaben](http://kwarc.info/teaching/AI/assignments.pdf), aber auch alte Klausuren)
 finden sich in [hier](http://kwarc.info/teaching/AI/). 
+
+Diskussionen finden auf dem
+[FSI Forum KI-I](https://fsi.cs.fau.de/forum/149-Kuenstliche-Intelligenz-II) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren! 
diff --git a/courses/lbs.md b/courses/lbs.md
index 3656fc43b36912fbf834d59ecbc051f3742fe9d0..0e6001c3ac6547d840963e2ce4797c558b864be3 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -23,3 +23,8 @@ Die Vorlesung
 ["Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen"](/courses/KRMT/)
 aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen Teil, aber
 keine notwendige Voraussetzung.
+
+Diskussionen finden auf dem
+[FSI Forum LBS](https://fsi.cs.fau.de/forum/?????) statt. Dies ist
+eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
+schnell auf Fragen zu antworten. Also das Forum abonnieren! 
diff --git a/courses/wuv.md b/courses/wuv.md
index a150a1b9de31cb1777d97d6e3087f2942cbaf028..3a43a7f31ebca0dbffcaec511669683daf5a9676 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -9,6 +9,25 @@ semesters:
     - SS17
     - WS17/18
 ---
+Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
+-Verarbeitung, mit einem Fokus auf mathematisches Wissen.
 
-This seminar covers topics from knowledge representation and knowledge processing, mostly
-with a focus on mathematical knowledge. Topics are agreed up with the instructor.
+Die Vortragsthemen sind sehr unterschiedlich im Schwierigkeitsgrad, sie reichen von
+Einführungsthemen für ambitionierte Bachelor-Studenten bis zur Forschungsfront für
+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). Themen werden mit dem Dozenten
+ausgemacht.
+
+Hier ist eine Auswahl für das WS 17/18:
+	
+	Thema | Literatur | Schwierigkeitsgrad | vergeben? | Termin
+	-----|-------|-----|-------|---------
+	Weak Type Theory |
+	[1](http://www.macs.hw.ac.uk/~fairouz/forest/papers/journals-publications/kjour.pdf) |
+	relativ einfach, aber Logiklastig| offen |
+
+Diskussionen und finden auf dem [FSI Forum WuV](https://fsi.cs.fau.de/forum/?????)
+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!