From 23a93ab857d6801906f0316dfda496cbf8df5dd2 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 5 Apr 2018 05:44:55 +0200
Subject: [PATCH] termine
---
courses/wuv.md | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
diff --git a/courses/wuv.md b/courses/wuv.md
index 7a2986f..f308510 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|
|-----|-------|-----|
--
GitLab