diff --git a/_layouts/course.html b/_layouts/course.html
index 5e9c9018457caee4e4dd3fd0986c753ba423c828..f09d6e1e735d7d6394aa2e302239f5b8a3a2b894 100644
--- a/_layouts/course.html
+++ b/_layouts/course.html
@@ -3,7 +3,7 @@ layout: default
 ---
 
 <div class="page">
-  <h1 class="page-title">{{ page.title }}</h1>
+  <h1 class="page-title">{{page.title}} ({{page.taught}})</h1>
   <h2>{{page.instructor}}</h2>
   {{ content }}
 </div>
diff --git a/teaching/AIProj.md b/teaching/AIProj.md
index fe88bc174cecea65e7ea9630511b81e2b9d48dd6..f417cfd6d32412be22dddaa96561b62aa38924f1 100644
--- a/teaching/AIProj.md
+++ b/teaching/AIProj.md
@@ -3,6 +3,18 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Projekt zur Künstlichen Intelligenz
 menu_title: KI-Projekt
+taught: WS16/17, SS16
 ---
 
-say more here
+The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge
+representation and reasoning techniques with a view towards applications in knowledge
+management. We extend techniques from formal methods so that they can be used in settings
+where formalization is either infeasible or too costly. We concentrate on developing
+techniques for marking up the structural semantics in technical documents. This level of
+markup allows for offering interesting knowledge management services without forcing the
+author to formalize the document contents.  In contrast to courses with fixed topics,
+project topics are defined individually.
+
+See the [KWARC home page](http://kwarc.info) for a general introduction to the research
+and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for
+expemplary topics. 
diff --git a/teaching/KRMT.md b/teaching/KRMT.md
index 3913eaee814a71489d233e7072232e97cc714971..7c617c72d0fee1655ec8036b2a3848e965035724 100644
--- a/teaching/KRMT.md
+++ b/teaching/KRMT.md
@@ -3,6 +3,13 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
 menu_title: Vorlesung KRMT
+taught: SS16/17
 ---
 
-say more here
+Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
+Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
+Formalisierung von Logiksprachen in Metalogiken.
+
+Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
+Projektorientiert aufbauen. 
+
diff --git a/teaching/ai1.md b/teaching/ai1.md
index 39e7d45a3fa1a2da1382720885ee82ef38666722..99a6978b165369df467ad67150a160fe41e8fcad 100644
--- a/teaching/ai1.md
+++ b/teaching/ai1.md
@@ -3,6 +3,7 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Künstliche Intelligenz I
 menu_title: Künstliche Intelligenz I
+taught: WS16
 ---
+Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere formale Wissensrepräsentation, Heuristische Suche, Automatisches Planen und Schliessen unter Unsicherheit.
 
-Say something here 
diff --git a/teaching/ai2.md b/teaching/ai2.md
index 08facd73cd02c663e6061577cdd730bb450bfb4f..fbc61abc6cc8c77483d03048e4a02ca810cb166c 100644
--- a/teaching/ai2.md
+++ b/teaching/ai2.md
@@ -3,6 +3,9 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Künstliche Intelligenz II
 menu_title: Künstliche Intelligenz II
+taught: SS16/17
 ---
 
-say more here
+Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen.
+Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.
+
diff --git a/teaching/wuv.md b/teaching/wuv.md
index 519fdfd374d819b92aabe7086d5895766342a641..dc2967711d928c1e62308a3486d45740034d8b1b 100644
--- a/teaching/wuv.md
+++ b/teaching/wuv.md
@@ -5,4 +5,6 @@ title: Seminar Wissensrepräsentation und -verarbeitung
 menu_title: Seminar WuV
 ---
 
-say more here
+This seminar covers topics from knowledge representation and knowledge processing, mostly
+with a focus on mathematical knowledge.
+