PROGRAMME SCHEDULE
Overall schedule
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
| Week 1 | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
| Room tbd | Room tbd | Room tbd | Room tbd | Room tbd | Room tbd | Room tbd |
| 9.00am - 10.30am | ||||||
| 27: Predictive and Counterfactual Modality Paolo Santorio, Jéssica Viana Mendes Language and Logic Introductory Course |
63: Information-based semantics Vít Punčochář Language and Logic Advanced Course |
20: Sparsity in Large Language Models: The New Odyssey Shiwei Liu Language and Computation Introductory Course |
21: Foundations of Linguistic Data Science John Philip McCrae Language and Computation Foundational Course |
60: Logic-Based Explainable Artificial Intelligence Joao Marques-Silva Logic and Computation Advanced Course |
56: Introduction to Logical Argumentation Kees van Berkel, Christian Straßer Logic and Computation Foundational Course |
|
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
| 81: The Common Ground and its extensions Robert Henderson Language and Logic Foundational Course |
58: Composing Meaning via Dependent Types Daisuke Bekki Language and Logic Advanced Course |
40: Structured and Unstructured Data: Knowledge Graphs, Logic and Language Models Zuzana Nevěřilová Language and Computation Introductory Course |
67: Text as pictures Vincent Wang-Maścianica Language and Computation Introductory Course |
24: The quest for a logic for polynomial time Benedikt Pago Logic and Computation Advanced Course |
46: Deontic Logic, Normative Systems, and Their Application in AI&Law Réka Markovich,Luca Pasetto Logic and Computation Introductory Course |
13: Programs from proofs meets formal mathematics Nicholas Pischke, Thomas Powell Logic and Computation Workshop |
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
| 35: Probability logic, language, and cognition Niki Pfeifer Language and Logic Introductory Course |
54: Explanation and Semantic Theory: The Case of Presupposition Alexandros Kalomoiros, Patrick Elliott Language and Logic Advanced Course |
66: Language model programming: paradigms, techniques and applications |
28: Epistemic Arithmetic Eric Pacuit Logic and Computation Advanced Course |
14: A Gentle Introduction to Deep Inference Lutz Straßburger, Victoria Barrett Logic and Computation Introductory Course |
29: If...then..., Once Again: New Perspectives on the Logic, Truth Conditions, and Probabilities of Conditionals Giuliano Rosella, Vincenzo Crupi Language and Logic Workshop |
|
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) | ||||||
| 5.00pm - 6.30pm | ||||||
| 52: Probabilistic logic reasoning under coherence and compound conditionals Giuseppe Sanfilippo Language and Logic Introductory Course |
50: Spatial Gesture Semantics Andy Lücking, Alexander Henlein Language and Computation Advanced Course |
36: Logic and Graph Neural Networks Michael Benedikt, David Jaime Tena Cucala Logic and Computation Introductory Course |
43: The Lambda-Calculus, from Minimal to Classical Logic Giulio Guerrieri, Davide Barbarossa Logic and Computation Advanced Course |
12: Gossip and Knowledge Hans van Ditmarsch, Malvin Gattinger Logic and Computation Introductory Course |
||
Week 2
| Week 2 | ||||||
| Language & Logic | Language & Computation | Logic & Computation | Workshops | |||
| 9.00am - 10.30am | ||||||
| 68: Context outside face-to-face settings Merel Semeijn, Bart Geurts Language and Logic Foundational Course |
33: Probabilistic Dynamic Semantics Julian Grove, Aaron Steven White Language and Computation Advanced Course |
69: Reading Concordances: a training course in key corpus linguistics methodology Stephanie Evert, Michaela Mahlberg Language and Computation Introductory Course |
11: Semantics for first-order modal logics: a modern introduction Valentin Shehtman, Dmitry Shkatov Logic and Computation Advanced Course |
49: Introduction to Proof Theory Iris van der Giessen, Abhishek De Logic and Computation Foundational Course |
53: Truthmaker Semantic and Modal Logic Alessandro Giordani, Vita Saitta Language and Logic Workshop |
|
| 10.30am - 11.00am | ||||||
| coffee break | ||||||
| 11.00am - 12.30pm | ||||||
| 26: Model theory for phonology Siddharth Bhaskar Language and Logic Introductory Course |
80: Dogwhistles at the intersection of semantics, pragmatics, and social meaning Robert Henderson Language and Logic Advanced Course |
1: Linguistics and NLP in political communication Asad B. Sayeed, Ellen Breitholtz Language and Computation Advanced Course |
70: Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus Mehrnoosh Sadrzadeh, Gijs Wijnholds Language and Computation Introductory Course |
59: An Invitation to Game Comonads Tomáš Jakl Logic and Computation Advanced Course |
61: Neurosymbolic learning: an introductory course to theory and applications Efthymia Tsamoura, Emile van Krieken Logic and Computation Introductory Course |
|
| 12.30pm - 2.00pm | ||||||
| lunch | ||||||
| 2.00pm - 3.30pm | ||||||
| 71: Stoic Logic from a Model-Theoretic Perspective Lucas Champollion Language and Logic Introductory Course |
51: Formal models of reasons Aleks Knoks Language and Computation Foundational Course |
31: Introduction to Opinion Mining and Social Media Language Analysis Omnia Zayed Language and Computation Foundational Course |
37: Canonical Extensions: A Unifying Perspective on Semantics for Logics Wesley Fussner Logic and Computation Introductory Course |
10: Categorical Realizability Tom de Jong Logic and Computation Advanced Course |
72: Theory and applications of sheaf theory Mehrnoosh Sadrzadeh, Daphne Wang Language and Computation Workshop |
|
| 3.30pm - 3.50pm | ||||||
| coffee break | ||||||
| 3.50pm - 4.50pm | ||||||
| Student Session (StuS) | ||||||
| 5.00pm - 6.30pm | ||||||
| 82: An introduction to Glue Semantics: Theoretical and computational perspectives Mark-Matthias Zymla, Jamie Y. Findlay Language and Logic Introductory Course |
62: Approaches to Parts and Wholes in Semantics Friederike Moltmann Language and Logic Advanced Course |
57: Tutorial on Human Evaluation of NLP System Quality Anya Belz, Craig Thomson Language and Computation Foundational Course |
3: Introduction to Proof-theoretic Semantics Alexander V. Gheorghiu, Tao Gu Logic and Computation Introductory Course |
4: Temporal Logics: philosophical and computational aspects Valentin Goranko Logic and Computation Introductory Course |
30: Natural Logic Meets Machine Learning (NALOMA) Lasha Abzianidze, Valeria de Paiva Language and Computation Workshop |
|