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
W = Workshop

  Language and Logic (LaLo) Language and Computation (LaCo) Logic and Computation (LoCo)
   Slot Name Type Name Type Name Type
 09:00 – 10:30 Numeral semantics (Bylinina/Nouwen) I Introduction to Linked Open Data in Linguistics (Declerck/McCrae) I An introduction to deep inference (Tubella/Straßburger) I
Speech reports (Korotkova) A A Natural Proof System for Natural Language (Abzianidze/Muskens) A Formalizing the Zoo of Logical Systems (Kohlhase/Rabe) A
10:30 – 11:00 Coffee Break
11:00 – 12:30 Probabilities and counterfactuals (Santorio/Cariani) I Introduction to NLP with Python (Rogers) I Resources, Knowledge, and Actions (Naumov) I
Anaphora and ambiguity in narratives (Altshuler/Schlöder) I Learnability of Quantifiers (Steinert-Threlkeld/Szymanik) I Puzzles (Ditmarsch/Pacuit) F
12:30 – 14:00 Lunch
14:00 – 15:30 Distributivity: Debates, advances, questions (Glass) I Vector Space Models of Meaning (Lewis/Sadrzadeh) I Logics of Action, Ability, Knowledge and Obligation (Horty/Pacuit) I
Semantics and pragmatics of temporal sequencing (Toosarvandani) A Scope in an incremental context (Sayeed) A Quantifying over information change (Ditmarsch/Kuijer) A
15:30 – 15:50 Coffee Break
15:30 – 15:50 Student Session
17:00 – 18:30 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
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
19:00 – 20:15 Evening Lectures