Course Schedule
The tentative course schedule is as follows. Green slots will (probably) be taught by Manfred Pinkal, blue ones by Alexander Koller.
| Tuesday | Thursday | 
|---|---|
| 14.4. Intro | |
| 19.4. Type theory | 21.4. Type theory | 
| 26.4. Type theory/predicate logic | 28.4. Type theory | 
| 3.5. Typtheorie | 5.5. Public holiday | 
| 10.5. Sentence semantics | 12.5. Type theory/sentence semantics | 
| 17.5. Sentence semantics | 19.5. Sentence semantics | 
| 24.5. Sentence semantics | 26.5. Public holiday | 
| 31.5. Discourse semantics | 2.6. Discourse semantics | 
| 7.6. Underspecification | 9.6. Discourse semantics | 
| 14.6. Discourse semantics | 16.6. Discourse semantics | 
| 21.6. Discourse semantics | 23.6. Lexical semantics | 
| 28.6. Lexical semantics | 30.6. Lexical semantics | 
| 5.7. Lexical semantics | 7.7. Lexical semantics | 
| 12.7. No lecture (MSc accreditation) | 14.7. Question time | 
| 19.7. Exam | 
 
          