Barcelona, August 3rd-14th

Course overview

Also check the Student Session.

First week
Language & Logic

Introductory

Degree and manner modification across categories
Lecturer: Elena Castroviejo, Berit Gehrke
Event pluralities
Lecturer: Patricia Cabredo Hofherr, Lucia M. Tovena
Lambek categorial grammars
Lecturer: Stepan Kuznetsov
The meaning of space: New advances in sign language semantics
Lecturer: Kathryn Davidson, Jeremy Kuhn

Foundational

Primate Linguistics
Lecturer: Philippe Schlenker, Emmanuel Chemla

Advanced

Algebraic and proof theoretical methods in dynamic logics
Lecturer: Giuseppe Greco, Umberto Rivieccio
Modality and evaluation in cross-linguistic semantics
Lecturer: Anastasia Giannakidou, Alda Mari

Workshops / Student Sessions

Experimental Approaches to Semantics (ExAS)
Organizer: Scott Grimm, Stephanie Solt
Lexical semantics and type theory
Organizer: Robin Cooper, Christian Retore
Language & Computation

Introductory

Ontologies and ontological methods in linguistics
Lecturer: Andrea Schalley
Selected Topics in Applied Machine Learning: An integrating view on data analysis and learning algorithms
Lecturer: Barbora Hladka, Martin Holub
Statistical methods for linguistic research: Foundational Ideas
Lecturer: Shravan Vasishth

Foundational

Formal Languages in Theory and Practice
Lecturer: Wiebke Petersen, Kata Balogh

Advanced

Monads and Natural Language
Lecturer: Chris Barker, Dylan Bumford
Probabilistic and experimental pragmatics
Lecturer: Judith Degen, Michael Franke
Sharpening the Empirical Claims of Generative Syntax through Formalization
Lecturer: Tim Hunter
Logic & Computation

Introductory

Automata over infinite alphabets
Lecturer: Andrzej Murawski, Nikos Tzevelekos
Epistemic Dynamics for Non-ideal Agents
Lecturer: Fernando R. Velázquez-Quesada
Logics: A Modal Perspective
Lecturer: Carlos Areces, Patrick Blackburn

Foundational

Propositions as Types
Lecturer: Philip Wadler

Advanced

Introduction to Deep Inference
Lecturer: Paola Bruscoli
Ontological Conjunctive Query Answering via Existential Rules
Lecturer: Andreas Pieris, Michaël Thomazo
Unification in non-classical logics: hot topics
Lecturer: Philippe Balbiani, Cigdem Gencer

Workshops / Student Sessions

Bridging Logical and Probabilistic Approaches to Language and Cognition
Organizer: Thomas Icard, Jakub Szymanik
Second week
Language & Logic

Introductory

Expressive Content
Lecturer: Eric McCready, Daniel Gutzman
Inquisitive semantics
Lecturer: Jeroen Groenendijk, Floris Roelofsen

Foundational

Reasoning in Games
Lecturer: Eric Pacuit

Advanced

Act-Based Conceptions of Propositional Content
Lecturer: Friederike Moltmann
Cooperative and Non-cooperative Discourse in Games
Lecturer: Eric McCready, Nicholas Asher
Natural Language Semantics with Enriched Meanings
Lecturer: Gianluca Giorgolo, Ash Asudeh
The Semantics of Perspective-Sensitivity
Lecturer: Lisa Bylinina, Yasutada Sudo

Workshops / Student Sessions

Empirical Advances in Categorial Grammar
Organizer: Yusuke Kubota, Robert Levine
Language & Computation

Introductory

Reasoning-based Dialogue Systems
Lecturer: Camilo Thorne
The logic of scope
Lecturer: Chris Barker
Working with Tree-Adjoining Grammars
Lecturer: Kata Balogh, Timm Lichte

Foundational

Vectorial and neural models of compositional semantics
Lecturer: Willem Zuidema
Teaching assistant: Phong Le

Advanced

Computational Models of Grounding in Dialogue
Lecturer: David Traum
Finite-State Methods for Sub-Atomic Semantics
Lecturer: Tim Fernando
Statistical methods for linguistic research: Advanced Tools
Lecturer: Shravan Vasishth

Workshops / Student Sessions

Logic and Probabilistic Methods for Dialog Modelling
Organizer: Valeria de Paiva, Charles Ortiz
Logic & Computation

Introductory

Normalisation and Deep Inference
Lecturer: Alessio Guglielmi
Proof Complexity
Lecturer: Olaf Beyersdorff
Temporal logics for multi-agent systems: expressiveness and algorithms
Lecturer: Francois Laroussinie, Nicolas Markey

Foundational

Logical reasoning about knowledge, actions and abilities
Lecturer: Valentin Goranko

Advanced

Beyond "knowing that": non-standard epistemic logics
Lecturer: Yanjing Wang
Logical Investigations on Separation Logics
Lecturer: Stéphane Demri, Morgan Deters
Logics: A Dynamic Perspective
Lecturer: Carlos Areces, Raul Fervari

Workshops / Student Sessions

Workshop on Logics for Resource-Bounded Agents
Organizer: Natasha Alechina, Brian Logan