Second 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 Modelling linguistic communication using types (Larsson/Cooper) F Neural NLP for Morphologically Rich Languages (co-affiliated event) (Paikens, Pinnis, Skadina) Epistemic Inaccuracy and Degrees of Belief: Conceptual and Mathematical Foundations of Formal Epistemology (Wronski/Godziszewski) I
Theory of Interpretation (Dekker) A Primer on design, implementation and deployment of browser-based behavioral experiments (Franke) F Responsibility in Action (Broersen/Duijf) F
10:30 – 11:00 Coffee Break
11:00 – 12:30 Formal Languages in Theory and Practice (Balogh/Petersen) F Breaking the rules? Good-enough processing and related phenomena (Paape) I Games Logicians Play (Goranko) I
Integrating Approaches to Social Meaning 2 (Winterstein/McCready/Davis) W Advanced NLP with Python (Rogers) A Unification in Description Logics (Fernandez Gil) A
12:30 – 14:00 Lunch
14:00 – 15:30 Model design in R: Testing complex semantic theories with simple statistical tools (Cremers) I Shallow Discourse Parsing (Scheffler) I Topological Approaches to Epistemic Logic (Knight/Özgün) I
From Montague Semantics to Modern Type Theories: A Meaningful Comparison (Chatzikyriakidis/Luo) A Incremental Language Processing in Dialogue Systems: A Practical Introduction (Hough/Eshghi) A P vs NP over various structures (Makowsky/Meer) F
15:30 – 15:50 Coffee Break
15:30 – 15:50 Student Session
17:00 – 18:30 Proper Names: Logic, Semantics, and Metaphysics (Bazzoni) I Language, Action and Perception (Dobnik) I Game Semantics (Murawski/Tzevelekos) I
Probability logic, language, and the mind (Pfeifer) F Introduction to Type Theory and Higher-Order Logic (Villadsen) A
19:00 – 20:15 Evening Lectures