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

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