First week

Each course belongs to one of the standard ESSLLI tracks:

Language and Logic (LaLo)
Logic and Computation (LoCo)
Language and Computation (LaCo)

Each course belongs to one of the following three categories:

F = Foundational course
I = Introductory course
A = Advanced course

Slot LaLo LaCo LoCo
Name Type Name Type Name Type
1-1 Numeral semantics (Bylinina/Nouwen) I Learnability of Quantifiers (Steinert-Threlkeld/Szymanik) I An introduction to deep inference (Tubella/Straßburger) I
1-1 Speech reports (Korotkova) A A Natural Proof System for Natural Language (Abzianidze/Muskens) A Formalizing the Zoo of Logical Systems (Kohlhase/Rabe) A
1-2 Probabilities and counterfactuals (Santorio/Cariani) I Introduction to NLP with Python (Rogers) I Resources, Knowledge, and Actions (Naumov) I
1-2 Anaphora and ambiguity in narratives (Altshuler/Schlöder) I Graph Formalisms for Meaning Representations (Gilroy/Lopez) F Puzzles (Ditmarsch/Pacuit) F
1-3 Distributivity: Debates, advances, questions (Glass) I Vector Space Models of Meaning (Lewis/Sadrzadeh) I Logics of Action, Ability, Knowledge and Obligation (Horty/Pacuit) I
1-3 Semantics and pragmatics of temporal sequencing (Toosarvandani) A Scope in an incremental context (Sayeed) A Quantifying over information change (Ditmarsch/Kuijer) A
1-4 Formal Semantics of Natural Language (Winter) I Open Science: A Hands-On Primer (Heyman/Verheyen) I Logical Dynamics of Social Interaction: Social Influence (Velázquez-Quesada) I
1-4 Variable costs (Beaver/Fintel) A Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (Lewis/Marsden/Sadrzadeh) W Bisimulations and filtrations in modal logic (Shehtman/Shapirovsky) A