29th European Summer School in Logic, Language, and Information
University of Toulouse (France), 17-28 July, 2017

Main program — first Week

Each course and workshop spans a whole week (5 days). Participants are free to choose the courses they want to attend.

Each course belongs to one of the standard ESSLLI tracks:

  • Language and Logic
  • Logic and Computation
  • Language and Computation

Each course corresponds to one of the following three levels:

  • F = Foundational
  • I = Introductory
  • A = Advanced
Slots Language and Logic Logic and Computation Language and Computation Workshops


Linguistic applications of mereology, Lucas Champollion (I)

Puzzles and Paradoxes from Decision and Game Theory, Eric Pacuit (F)

Foundations of argumentation for argument mining, Laura Alonso Alemany, Patrick Saint-Dizier (F)

Situated Discourse, Julie Hunter, Nicholas Asher (A)

Logic and Databases, Phokion G. Kolaitis (A)

Bayesian Methods for Language Sciences, Mark Andrews (A)

10:30–11:00 Coffee break


Underlying States, Roger Schwarzschild, Daniel Altshuler (A)

Analyzing Logics Using Automata, Michael Benedikt, Michael Vanden Boom (I)

Generative Lexicon: Integrating Theoretical and Distributional Methods, James Pustejovsky, Elisabetta Jezek (I)

7th Intuitionistic Modal Logic and Applications (IMLA), Valeria de Paiva, Sergei Artemov

Social Meaning, Sociolinguistic Variation and Game-Theoretic Pragmatics, Heather Burnett, E. Allyn Smith (I)

Embeddings and Deep Learning, Hinrich Schütze (A)

12:30–14:00 Lunch


Introduction to the semantics of tense and aspect, Sam Alxatib, Yael Sharvit (I)

Complexity of Two-Variable First-Order Logics, Emanuel Kieronski, Lidia Tendera (I)

Bridging language processing data and formal theories of meaning: event-related brain potentials as a tool of investigating semantic and pragmatic theories, Maria Spychalska (F)

Formal approaches to the dynamics of linguistic interaction, Christine Howes, Hannes Rieser

Speaking of Things and Stuff: The Semantics of Plurals and Mass Terms, Salvatore Florio, David Nicolas (I)

Efficient Proof Systems for Modal Logics, Roman Kuznets, Lutz Straßburger (A)

Explicit world-knowledge and distributional semantic representations, Asad Sayeed, Alessandra Zarcone (A)

15:30–15:50 Coffee break
15:50–16h50 Student session


Probabilistic models of vagueness, Paul Egré, Steven Verheyen (A)

Categories, proofs, and programs, Samson Abramsky, Nikos Tzevelekos (I)

Visualization for Linguistic Research: Methodology Fundamentals, Olga Scrivner (I)

Quantifiers & Determiners, Christian Retoré

Syntax-discourse interface, Kata Balogh, Anja Latrouite (I)

Predication via Finite-State Methods, Tim Fernando (A)

Second Week