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
| Slot | LaLo | LaCo | LoCo | |||
|---|---|---|---|---|---|---|
| Name | Type | Name | Type | Name | Type | |
| 2-1 | Modelling linguistic communication using types (Larsson/Cooper) | F | Epistemic Inaccuracy and Degrees of Belief: Conceptual and Mathematical Foundations of Formal Epistemology (Wronski/Godziszewski) | I | ||
| 2-1 | Theory of Interpretation (Dekker) | A | Primer on design, implementation and deployment of browser-based behavioral experiments (Franke) | F | Responsibility in Action (Broersen/Duijf) | F |
| 2-2 | 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 |
| 2-2 | Integrating Approaches to Social Meaning 2 (Winterstein/McCready/Davis) | W | Advanced NLP with Python (Rogers) | A | Unification in Description Logics (Fernandez Gil) | A |
| 2-3 | 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 |
| 2-3 | From Montague Semantics to Modern Type Theories: A Meaningful Comparison (Chatzikyriakidis/Luo) | A | Incremental Language Processing in Dialogue Systems: A Practical Introduction (Hough) | A | P vs NP over various structures (Makowsky/Meer) | F |
| 2-4 | Proper Names: Logic, Semantics, and Metaphysics (Bazzoni/García-Carpintero) | I | Language, Action and Perception (Dobnik) | I | Game Semantics (Murawski/Tzevelekos) | I |
| 2-4 | Probability logic, language, and the mind (Pfeifer) | F | Graph Grammars for Natural Language Processing (Bauer) | A | Introduction to Type Theory and Higher-Order Logic (Villadsen) | A |