PROGRAMME SCHEDULE
Closing
The closing session will take place on Friday August 8 at 3:50 pm during the Student Session (StuS) in room HGB 20.
Overall schedule
Beth Outstanding Dissertation Prize 2025 Award Ceremony
Friday, August 1, 3:50-4:50pm, room HGB 20
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.
Week 1 Overview
| Week 1 | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
| 9.00am - 10.30am | ||||||
|
27: Predictive and Counterfactual Modality Room: HGB 30 |
63: Information-based semantics Room: HGB 20 |
CANCELLED! Room: GA 03/149 |
21: Foundations of Linguistic Data Science Room: HGB 40 |
60: Logic-Based Explainable Artificial Intelligence Room: HGB 50 |
56: Introduction to Logical Argumentation Room: GA 03/142 |
|
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
|
81: The Common Ground and its extensions Room: HGB 30 |
58: Composing Meaning via Dependent Types Room: HGB 20 |
40: Structured and Unstructured Data: Knowledge Graphs, Logic and Language Models Room: HGB 40 |
67: Text as pictures Room: GA 03/149 |
24: The quest for a logic for polynomial time Room: GA 03/142 |
46: Deontic Logic, Normative Systems, and Their Application in AI&Law Room: HGB 50 |
13: Programs from proofs meets formal mathematics Room: GB 03/49 |
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
|
CANCELLED: (35: Probability logic, language, and cognition |
54: Explanation and Semantic Theory: The Case of Presupposition Room: HGB 20 |
66: Language model programming: paradigms, techniques and applications |
28: Epistemic Arithmetic Room: HGB 50 |
14: A Gentle Introduction to Deep Inference Room: HGB 30 |
||
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) Room: HGB 20 | ||||||
| 5.00pm - 6.30pm | ||||||
|
52: Probabilistic logic reasoning under coherence and compound conditionals Room: HGB 30 |
50: Spatial Gesture Semantics Room: GA 03/142 |
36: Logic and Graph Neural Networks Room: HGB 20 |
43: The Lambda-Calculus, from Minimal to Classical Logic Room: HGB 40 |
12: Gossip and Knowledge Room: HGB 50 |
||
Week 2
| Week 2 | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
| 9.00am - 10.30am | ||||||
|
68: Context outside face-to-face settings Room: GA 03/149 |
33: Probabilistic Dynamic Semantics Room: HGB 30 |
69: Reading Concordances: a training course in key corpus linguistics methodology Room: GA 03/142 |
11: Semantics for first-order modal logics: a modern introduction Room: HGB 20 |
49: Introduction to Proof Theory Room: HGB 40 |
53: Truthmaker Semantic and Modal Logic Room: HGB 50 |
|
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
|
26: Model theory for phonology Room: GA 03/142 |
80: Dogwhistles at the intersection of semantics, pragmatics, and social meaning Room: HGB 30 |
57: Tutorial on Human Evaluation of Room: GB 03/49 |
70: Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus Room: HGB 40 |
59: An Invitation to Game Comonads Room: GA 03/149 |
61: Neurosymbolic learning: an introductory course to theory and applications Room: HGB 50 |
|
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
|
71: Stoic Logic from a Model-Theoretic Perspective Room: HGB 30 |
51: Formal models of reasons Room: HGB 20 |
31: Introduction to Opinion Mining and Social Media Language Analysis Room: HGB 40 |
37: Canonical Extensions: A Unifying Perspective on Semantics for Logics Room: GA 03/149 |
10: Categorical Realizability Room: HGB 50 |
72: Theory and applications of sheaf theory Room: GA 03/142 STARTING WEDNESDAY |
|
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) Room: HGB 20 | ||||||
| 5.00pm - 6.30pm | ||||||
|
82: An introduction to Glue Semantics: Room: GA 03/149 |
62: Approaches to Parts and Wholes in Semantics Room: HGB 30 |
1: Linguistics and NLP in political communication |
3: Introduction to Proof-theoretic Semantics Room: HGB 20 |
4: Temporal Logics: philosophical and Room: HGB 40 |
30: Natural Logic Meets Machine Learning (NALOMA) Room: HGB 50 |
|