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			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)	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:00	Proper Names: Logic, Semantics, and Metaphysics (Bazzoni/García-Carpintero)	I	Language, Action and Perception (Dobnik)	I	Game Semantics (Murawski/Tzevelekos)	I
	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
19:00 – 20:15	Evening Lectures