Main Program – Week 2

Each course and workshop spans a whole week (5 days). Participants are free to choose the courses they want to attend.
See also the main program of Week 1.

Each course belongs to one of the standard ESSLLI streams:

  • LaCo = Language and Computation
  • LaLo = Language and Logic
  • LoCo = Logic and Computation

Each course corresponds to one of the following three levels:

  • I = Introductory
  • F = Foundational
  • A = Advanced
LaCo
LANGUAGE & COMPUTATION		LoCo
LOGIC & COMPUTATION		LaLo
LANGUAGE & LOGIC		WORKSHOPS
09:00
10:30		Executable Semantic Parsing (A)
J. Berant | C2.06		Algebraic Specification and Verification (I)
K. Futatsugi & N. Preining | A5.18 (*)		Formal Semantics of Natural Language (F)
Y. Winter | D1.02
Modeling Dialogue: Building Highly Responsive Conversational Agents (A)
S. Kopp & D. Schlangen | C3.06 (*)		Algorithmic Aspects of WQO Theory (A)
S. Schmitz & P. Schnoebelen | D1.01		Composition in Probabilistic Language Understanding (A)
G. Scontras | D1.03
10:30
11:00		Coffee Break
11:00
12:30		Crowdsourcing
Linguistic Datasets (I)
C. Biemann | C3.06		Introduction to Non-monotonic Logic (I)
C. Beirlaen & C. Straßer | D1.03		A Journey through the Possible Worlds of Modal Logic (F)
V. Goranko | D1.01		Referential Semantics One Step Further (W)
L. McNally & C. Umbach | C2.06
Computational Semantics (I)
J. Bos | D1.02		Logics on Words and Trees with Data (A)
D. Figueira & R. Lazic | C2.01
12:30
14:00		Lunch
14:00
15:30		Natural Language Processing of Microblogs (I)
T. Scheffler & M. Stede | D1.03		Logical Foundations of Databases (F)
D. Figueira & G. Puppis | D1.01 (*)		Quotation (I)
E. Maier | C2.01
Introduction to Combinatory Categorial Grammar (I)
M. Steedman | D1.02		Mean Payoff Games, Max-Atoms, and Constraint (A)
M. Mamino | C3.06		Deontic Modality: Linguistic and Logical Perspectives on Oughts and Ends (A)
C. Condoravdi & L. van der Torre | C2.06 (*)
15:30
15:50		Coffee Break
15:50
17:00		Student Session | D1.01
17:00
18:30		Learning from Data: A Foundational Course for Linguistics (F)
M. Nissim | D1.02		An Introduction to Probabilistic Abstract Interpretation (I)
A. Di Pierro & H. Wiklicky | C3.06		Genericity in Natural Language (I)
G. Katz & R. Zamparelli | C2.06		5th International Workshop on Formal Approaches to Particles (W)
G. van Bergen, L. Hogeweg & H. Zeevat | D1.01
Query Answering with Description Logic Ontologies (A)
M. Bienvenu & M. Ortiz | C2.01		The Role of Linguistic Interpretation in Human Failures of Reasoning (I)
S. Mascarenhas | D1.03

(*) The lecture room has been changed with respect to the one reported in the booklet.