WEEK One:
SLOT 1:
Language and Computation
- Johan Bos. From shallow to deep Natural Language Processing: A hands-on tutorial (Intermediate Course)
- Nicholas Asher and Zhaohui Luo. Lexical Semantics (Advanced Course)
Logic and Computation
- Valentin Goranko. Logics of knowledge and strategic abilities in multi-agent systems (Intermediate Course)
- Philippe Balbiani. Region-based theories of space (Advanced Course)
Logic and Language
- Cécile Meier. Introduction to Formal Semantics (Foundational Course)
- Craige Roberts and Judith Tonhauser. Projective meaning: Formal approaches and cross-linguistic evidence (Advanced Course)
SLOT 2:
Language and Computation
- Roberto Navigli. Graphs in Natural Language Processing (Intermediate Course)
- Glyn Morrill. Type logical syntax and semantics (Intermediate Course)
Logic and Computation
- Benedikt Löwe and Grzegorz Plebanek. Ordinals and Cardinals: Basic set-theoretic techniques in logic (Foundational Course)
- Nils Bulling and Wojtek Jamroga. Decision Problems and Decision Procedures for Strategic Logics (Advanced Course)
Logic and Language
- Thomas Ede Zimmermann. Intensionality (Intermediate Course)
- Pablo Cobreros and David Ripley. Non-classical Logics for Vague Predicates (Advanced Course)
SLOT 3:
Language and Computation
- Eckhard Bick. Introduction to Constraint Grammar (Intermediate Course)
Logic and Computation
- Jan van Eijck and Johan van Benthem. Logic in Action (Foundational Course)
- Jan Broersen and Leon van der Torre. An advanced treatment of five problems of deontic logic and normative reasoning in computer science (Advanced Course)
Logic and Language
- Eric McCready and Malte Zimmermann. Discourse Particles (Intermediate Course)
- Reinhard Blutner and Peter beim Graben. Linear algebra and the geometry of meaning (Intermediate Course)
SLOT 4:
Language and Computation
- Shuly Wintner. Formal Language Theory for Linguists (Foundational Course)
Logic and Computation
- Thomas Schneider and Dirk Walther. Modularity in Ontologies (Intermediate Course)
- Sujata Ghosh and R. Ramanujam. Strategies in games: a logic-automata study (Advanced Course)
Logic and Language
- Philippe Schlenker. Semantics and Sign Language (Intermediate Course)
- Katrin Schulz. Compositional semantics for conditional sentences (Advanced Course)
- Isidora Stojanovic. Topics in Philosophy of Language (Intermediate Course)
WEEK Two:
SLOT 5:
Language and Computation
- Sudha Arunachalam. Experimental methods for linguists (Foundational Course)
- Sylvain Salvati. Multiple Context Free Grammars: known properties and open problems (Advanced Course)
Logic and Computation
- Natasha Alechina and Brian Logan. Logics and Agent Programming Languages (Intermediate Course)
- Dmitry Tishkovsky and Renate Schmidt. Automated Synthesis of Tableau Calculi (Advanced Course)
Logic and Language
- Jeroen Groenendijk and Floris Roelofsen. Inquisitive Semantics (Intermediate Course)
- Uli Sauerland and Stephanie Solt. Imprecision and Approximation (Advanced Course)
SLOT 6:
Language and Computation
- Tomaž Erjavec. Standards for language encoding (Foundational Course)
- Pawel Garbacz and Stefano Borgo. Formal ontologies for engineering (Advanced Course)
Logic and Computation
- Davide Grossi and Gabriella Pigozzi. Introduction to Judgment Aggregation (Intermediate Course)
Logic and Language
- Orin Percus and Graham Katz. Indexicality and compositional semantics (Advanced Course)
SLOT 7:
Language and Computation
- Christina Unger and Jan van Eijck. Computational Semantics with Functional Programming (Intermediate Course)
Logic and Computation
- Aart Middeldorp and Georg Moser. Termination and Complexity of Rewrite Systems (Intermediate Course)
- Valentin Goranko. Tableau-based decision methods for temporal logics and multi-agent logics of knowledge and strategic abilities (Advanced Course)
- Olaf Beyersdorff. Proofs and Games (Advanced Course)
Logic and Language
- Nausicaa Pouscoulous. Developmental pragmatics (Intermediate Course)
SLOT 8:
Language and Computation
- Marjorie McShane and Sergei Nirenburg. Difficult Aspects of Reference Resolution: Description, Theory and Hands-On Practice (Intermediate Course)
- Jakub Szymanik. Generalized Quantifier Theory Meets Cognition (Advanced Course)
Logic and Computation
- Andrzej Murawski and Nikos Tzevelekos. Semantics of programming languages (Intermediate Course)
- Michael Franke. Unawareness in Logic and Reasoning (Advanced Course)
Logic and Language
- Graham Katz and Elena Herburger. The Semantics of Gradable Modal Expressions (Advanced Course)