upcoming

courses/KRMT.md

@@ -5,7 +5,8 @@ instructors:
     - mkohlhase
     - dmueller
 semesters:
-    - SS17
+    - SS17 
+    - SS18 
 ---
 
 Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in

courses/ai2.md

@@ -6,7 +6,8 @@ instructors:
     - mkohlhase
 
 semesters:
-    - SS17
+    - SS17 
+    - SS18 
 ---
 
 Diese Vorlesung ist der zweite Teil einer zwei-semestrigen Einführung in die Künstlichen

courses/wuv.md

@@ -8,6 +8,9 @@ instructors:
 semesters:
     - SS17
     - WS17/18
+	- SS18
+    - WS18/19
+	- SS19
 ---
 Dieses Seminar behandelt ausgewählte Themen aus dem Gebiet der Wissensrepräsentation und
 -Verarbeitung, mit einem Fokus auf mathematisches Wissen.