Lectures
- Week 1: Predicate Logic
- Week 2: Type Theory
- Week 3: Lambda Calculus
- Week 4: Event Semantics
- Week 5: Generalized Quantifiers
- Week 6: Dynamic Semantics
- Week 7: Discourse Representation Theory
- Week 8: Presupposition
- Week 9: Distributional Formal Semantics: DFS-Part 1 & DFS-Part 2
- Week 10: Current Issues in Semantic Theory