adding forum information

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! 
+ 

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! 

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! 

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! 

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!