diff --git a/courses/KRMT.md b/courses/KRMT.md
index 31981f743e4a35911145be15fe41d0c19958f4e6..a80497591c54c63b3f5241a15ba320c57ca3cfa3 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -1,10 +1,9 @@
 ---
 layout: course
-
 title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
 instructors:
     - mkohlhase
-
+    - dmueller
 semesters:
     - SS17
 ---
diff --git a/courses/comsem.md b/courses/comsem.md
index 0856695a7d350f1e140512b93baf5f6f80bf53c4..845d269ca7810c89c0e4e8fc5d2a937f0d22d1c2 100644
--- a/courses/comsem.md
+++ b/courses/comsem.md
@@ -14,4 +14,18 @@ semesters:
     - Spring14
     - Spring15
 ---
-Logic-based theories for the semantics of natural language. 
+Logic-based theories for the semantics of natural language. We use Montague's "method of
+fragments" to create a series of language models of increasing coverage (of English).
+
+A language model is a triple of
+
+* a grammar 'G' that defines a language fragment that can be translated,
+* a logical system 'L' that acts as the meaning representation, and 
+* a translation from syntax trees induced by 'G' to formulae in 'L'
+
+The course resources (course notes, literature, assignments) can be found
+[here](http://kwarc.info/teaching/ComSem).
+
+Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog) is very
+helpful, but not a prerequisite. 
+ 
diff --git a/courses/lbs.md b/courses/lbs.md
index 95119fb83d9b5d4f2d1f03266fafe4054686a7ca..3656fc43b36912fbf834d59ecbc051f3742fe9d0 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -1,21 +1,25 @@
 ---
 layout: course
-
 title: Logik-Basierte Sprachverarbeitung (LBS)
 instructors:
     - mkohlhase
-
+    - dmueller
 semesters:
     - WS17/18
 ---
 
 Dieser Kurs behandelt Grundlagen der logikbasierten Sprachverarbeitung - Syntax,
-Semantik-Konstruktion, und Semantische Verarbeitung natürlicher Sprache. Wir werden
+Semantik-Konstruktion, und semantische Verarbeitung natürlicher Sprache. Wir werden
 einerseits die Grundlagen theoretisch erarbeiten (Montague's "method of fragments"), und
 andererseits praktisch im
 [Grammatical Framework (GF)](http://www.grammaticalframework.org/) implementieren und
-damit experimentieren. 
+damit experimentieren. Der theoretische Teil des Kurses wird auf
+[dem Kurs "Computational Semantics"](http://kwarc.info/teaching/ComSem) aufbauen. 
 
 Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
-Projektorientiert aufbauen. 
+projektorientiert aufbauen.
 
+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.