PROGRAMME SCHEDULE
Beth Outstanding Dissertation Prize 2026 Award Ceremony
Friday, August 14th, 3:50-4:50pm, room TBD
Since 1998, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information with financial support of the E.W. Beth Foundation.
General Information
At ESSLLI, each course consists of five 90 minute sessions, offered daily (Monday-Friday) in a single week, in the same slot each day. Each course belongs to one of the interdisciplinary areas LaLo (Language and Logic), LaCo (Language and Computation, or LoCo (Logic and Computation). Further, courses are stratified by level, starting at Foundational (no prerequisites), then going to Introductory (introductions into a subfield, may have some prerequisites in general areas) and Advanced (specialized courses). Workshops are organized by the respective coordinators.
Schedules may be subject to change.
Week 1 Overview
| Week 1 | ||||||
| 9.00am - 10.30am | ||||||
| Language & Logic | Language & Computation | Logic & Computation | ||||
|
73: Natural Logic Room: TBD |
35: Monotonicity in conditionals Room: TBD |
15: Introduction to Opinion Mining and Social Media Language Analysis Room: TBD |
3: Verifying graph neural networks Room: TBD |
6: Algebraic Automata Theory: A Rosetta Stone for Computer Scientists Room: TBD |
43: Formal Verification of Multi-Agent Systems. Why, What, and Especially: How? Room: TBD |
75: Stone Duality: Connecting Algebra and Topology via Logic Room: TBD |
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
|
74: Conditionals in Decision Theory Room: TBD |
95: The Logic Underlying Language Models Room: TBD |
64: Defeasible Description Logics Room: TBD |
87: Cyclic Proofs, a Primer Room: TBD |
11: Combinatorial Games in Finite Model Theory Room: TBD |
56: Proofs without syntax: An introduction to proof nets and combinatorial proofs Room: TBD |
12: Referring expression choice in grounded contexts: Linguistic, cognitive, and computational aspects Room: TBD |
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
| Language & Logic | Logic & Computation | Workshops | ||||
|
60: The Function of Composition Room: TBD |
44: Formal Theories of Vagueness Room: TBD |
91: Conditional Modality Room: TBD |
83: Reasoning in graph games: A modal logic study Room: TBD |
18: Logical Bilateralism - Proofs, Models and Applications Room: TBD |
69: A Gentle Introduction to Description Logics Room: TBD |
36: Natural Language Meets Logic and Machine Learning (the NALOMA workshop) Room: TBD |
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) Room: TBD | ||||||
| 5.00pm - 6.30pm | ||||||
| Language & Logic | Logic & Computation | |||||
|
1: The lambda calculus and simple type theory: A toolkit Room: TBD |
71: On the plurality of the verbs: Attitudes of knowledge and belief Room: TBD |
72: Introduction to the semantics and pragmatics of anaphora Room: TBD |
92: Probability logic, language, and cognition Room: TBD |
31: Modeling Awareness Room: TBD |
30: Logics of dependence and independence Room: TBD |
17: Tableaux-based decision methods for modal, temporal, and epistemic logics Room: TBD |
Week 2 Overview
| Week 2 | ||||||
| 9.00am - 10.30am | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
|
4: Type-Lowering and Paradox in Natural Language Room: TBD |
53: Vector representations of morphological processes Room: TBD |
8: Responsible Mechanism Design Room: TBD |
76: Logic and Argumentation for New Generation AI Room: TBD |
|||
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
|
5: Advanced Topics in Logical Geometry Room: TBD |
81: Computational Models of Conversational Grounding Room: TBD |
9: Computational perspectives on the classical decision problem: a vade mecum Room: TBD |
90: Introduction to SAT and SMT solving Room: TBD |
70: Conceptual structure of attitudes: Language and cognition Room: TBD |
40: Semantics and compositionality for expressiveness and complexity (I) Room: TBD |
|
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
|
62: Team Semantics: Linguistic and Philosophical Applications Room: TBD |
57: Attitude adjustment: Trends in the semantics of clausal-embedding Room: TBD |
37: From Speech Act Theory to Dialogue Act Modeling Room: TBD |
16: Coordination games, rationality, and logic Room: TBD |
24: Introduction to Homotopy Type Theory / Univalent Foundations Room: TBD |
38: Polysemy across categories (language and computation) Room: TBD |
40: Semantics and compositionality for expressiveness and complexity (II) Room: TBD |
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) Room: TBD | ||||||
| 5.00pm - 6.30pm | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
|
21: Norm-Sensitivity Beyond Gradable Expressions Room: TBD |
59: Experimental and theoretical investigations of affect in language and cognition Room: TBD |
52: The laws of probabilistic phonology Room: TBD |
48: First-Order Dynamic Logic Room: TBD |
46: Experimenting with the LogiKEy Framework & Methodology: Normative Reasoning, Computational Metaphysics, and More Room: TBD |
86: Human Label Variation in Discourse and Pragmatic Phenomena Room: TBD |
|