Lectures
- Week 0: Introduction
- Week 1: Predicate Logic
- Week 2: Type Theory
- Week 3: No lecture (exercise discussion)
- Week 4: Lambda Calculus
- Week 5: Generalized Quantifiers
- Week 6: Event Semantics
- Week 7: Dynamic Semantics
- Week 8: Discourse Representation Theory
- Week 9: Presuppositions
- Week 10: Distributional Formal Semantics: Representations
- Week 11: Distributional Formal Semantics: Incremental Meaning Construction
- Week 12: Current Issues in Semantic Theory