termine

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