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

9:00–10:30

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)

11:00–12:30

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

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

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

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

Underlying States, Roger Schwarzschild, Daniel Altshuler (A)

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

14:00–15:30

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–17:00

17:00–18:30

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

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

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

Quantifiers & Determiners, Christian Retoré, Mark Steedman

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

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


Second Week