Week 1
Language and Logic (LaLo)
Introductory course
Anaphora and ambiguity in narratives (Altshuler/Schlöder) – Course Materials
Distributivity: Debates, advances, questions (Glass) – Course Materials
Formal Semantics of Natural Language (Winter) – Course Materials
Probabilities and counterfactuals (Santorio/Cariani) – Course Materials
Advanced course
Speech reports (Korotkova) – Course Materials
Semantics and pragmatics of temporal sequencing (Toosarvandani) – Course Materials
Variable costs (Beaver/Fintel) – Course Materials
Language and Computation (LaCo)
Introductory course
Learnability of Quantifiers (Steinert-Threlkeld/Szymanik) – Course Materials
Introduction to NLP with Python (Rogers) – Course Materials
Vector Space Models of Meaning (Lewis/Sadrzadeh) – Course Materials
Open Science: A Hands-On Primer (Heyman/Verheyen) – Course Materials
Introduction to Linked Open Data in Linguistics (Declerck/McCrae) – Course Materials
Advanced course
A Natural Proof System for Natural Language (Abzianidze/Muskens) – Course Materials
Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (Lewis/Marsden/Sadrzadeh) – Course Materials
Logic and Computation (LoCo)
Introductory course
An introduction to deep inference (Tubella/Straßburger) – Course Materials
Resources, Knowledge, and Actions (Naumov) – Course Materials
Logical Dynamics of Social Interaction: Social Influence (Velázquez-Quesada) – Course Materials
Advanced course
Quantifying over information change (Ditmarsch/Kuijer) – Course Materials
Bisimulations and filtrations in modal logic (Shehtman/Shapirovsky) – Course Materials
Week 2
Language and Logic (LaLo)
Advanced course
Theory of Interpretation (Dekker) – Course Materials
From Montague Semantics to Modern Type Theories: A Meaningful Comparison (Chatzikyriakidis/Luo) – Course Materials
Foundational course
Probability logic, language, and the mind (Pfeifer) – Course Materials
Workshop
Integrating Approaches to Social Meaning 2 (Winterstein/McCready/Davis) – Course Materials
Language and Computation (LaCo)
Introductory course
Breaking the rules? Good-enough processing and related phenomena (Paape) – Course Materials
Language, Action and Perception (Dobnik) – Course Materials
Advanced course
Incremental Language Processing in Dialogue Systems: A Practical Introduction (Hough/Eshghi) – Course Materials
Logic and Computation (LoCo)
Introductory course
Games Logicians Play (Goranko) – Course Materials
Topological Approaches to Epistemic Logic (Knight/Özgün) – Course Material
Game Semantics (Murawski/Tzevelekos) – Course Materials
Advanced course
Unification in Description Logics (Fernandez Gil) – Course Materials
Introduction to Type Theory and Higher-Order Logic (Villadsen) – Course Materials
Foundational course
P vs NP over various structures (Makowsky/Meer) – Course Materials