Courses And Workshops

Week 1 (July 26th - July 30th)

as list

Commitment-based pragmatics
Bart Geurts

The notion of commitment has a deep history in philosophy, but in recent years it has been gaining traction in other disciplines as well, including logic, linguistics, computer science, and psycho... read


Information theory
Mathias Winther Madsen

Information theory is a branch of probability theory that investigates the fundamental limits on our ability to communicate reliably. By quantifying the concepts of uncertainty and information in ... read


Introduction to Deontic Logic and Its Applications (Introductory course)
Réka Markovich and Leon van der Torre

The aim of the course is providing an introduction to deontic logic and its main applications from formal and computational point of view highlighting the basic notions and approaches and surveyin... read


Additivity, scalarity and the interactions between them: Beyond 'also' and 'even'
Yael Greenberg and Carla Umbach

ADDITIVITY and SCALARITY, linguistically encoded by alternative-sensitive operators, are in principle independent of each other: There are additives which are not scalars (e.g. 'also' / 'too'), as... read


Introduction to natural language formal semantics
Philippe de Groote and Yoad Winter

This foundational course will serve as an introduction to the formal semantics of natural language, as introduced by Richard Montague, and subsequently developed by followers. ... read


Temporal Logics
Valentin Goranko

This course will introduce and discuss the most important types and systems of temporal logics, including instant-based logics of linear and branching time, interval-based temporal logics, hybrid ... read


An opinionated guide to the language of opinion
Natasha Korotkova and Pranav Anand

There has been a lot of recent work in formal semantics and philosophy of language on predicates of personal taste (PPTs) such as "tasty" and "fun". The linguistic behavior of PPTs differs from th... read


The Computational Nature of Language
Thomas Graf

This foundational course is aimed at students with no prior background in linguistics and/or the theory of computation. We will explore the computational mechanisms that underpin phonology (the gr... read


Advanced mereology for linguists
Lucas Champollion

This course develops a unified theory of cross-categorial similarities involving the count-mass, singular-plural, telic-atelic, and collective-distributive opposition.
The basics of the theor... read


Logical foundations of categorization theory
Fei Liang and Alessandra Palmigiano

Categories are cognitive tools that humans use to organize their experience, understand and function in the world, and understand and interact with each other, by grouping things together which ca... read


Lewis meets Brouwer: Constructive strict implication
Tadeusz Litak and Albert Visser

C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuitionistically, howev... read


The semantics of metaphor
Joost Zwarts

Metaphor is a pervasive factor in natural language, underlying the conscious creation of verbal images (e.g., brexit as a divorce), but also the flexibility of our most basic vocabulary (like prep... read


Logic, Data, and Incomplete Information
Phokion Kolaitis

During the past fifty years, first-order logic and its variants have been successfully used as a database query language. In traditional applications, the data at hand are assumed to be unambiguou... read


Analyzing the Cognitive Plausibility of Deep Language Models
Lisa Beinborn, Nora Hollenstein and Willem Zuidema

Computational models of language serve as an increasingly popular tool to examine research hypotheses related to language processing. Representing language in a computationally processable way for... read


The semantics and psycholinguistics of subjective predicates
Elsi Kaiser and Deniz Rudin

Predicates of personal taste (PPTs) like "tasty" and "fun" have prompted much discussion in semantics and philosophy: We can disagree about whether the chili is tasty without either of us being ob... read


Workshop on Computing Semantics with Types, Frames and Related Structures
Stergios Chatzikyriakidis and Rainer Osswald

The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been... read

26.07 27.07 La-CoWorkshop

Workshop on automated synthesis
Natasha Alechina and Brian Logan

This workshop is in the area of logic and computation. It aims to bring together work on using logic, games and automata for automatically generating plans and strategies for AI agents. Topics inc... read

29.07 30.07 Lo-CoWorkshop

Week 2 (Aug 2nd - Aug 6th)

as list

Abstract Argumentation and Modal Logic
Davide Grossi and Carlo Proietti

This course provides an introduction to abstract argumentation and illustrates its points of contact with other formal disciplines such as game theory and, in particular, modal logic. After introd... read


From Proof Nets to Combinatorial Proofs — A new approach to Hilbert’s 24th problem
Willem Heijltjes and Lutz Straßburger

Hilbert's 24th problem is the question of when two proofs are the same. The problem is as old as proof theory itself, but there is still no satisfactory solution. The main reason for this is the s... read


Unifying formulaic, geometric, and algebraic theories of semantics
Andras Kornai

We consider the three major approaches to semantics that can be distinguished by their formal apparatus: formulaic, geometric, and algebraic and argue that these are trunk, leg, and tail of the sa... read


Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction
Patrick Georg Grosz and Mélissa Berthet

Animal linguistics investigates the linguistic (e.g., semantic and syntactic) properties of non-human animal communication systems, using a combined methodology from both linguistics and ethology.... read


Foundations of query languages for graph databases
Pablo Barceló and Diego Figueira

During the last decade, there has been a rise of interest in the study of a unified logical theory for the concept of dependence. A multitude of logics has been introduced in the first-order, prop... read


Actions, Blames, and Regrets
Pavel Naumov

Coalition logics and closely related STIT logics are widely studied formalisms for describing strategic power of agents and their coalitions. Recently, variations of these logics have been used to... read


Probabilistic Language Understanding
Gregory Scontras

Recent advances in computational cognitive science (i.e., simulation-based probabilistic programs) have paved the way for significant progress in formal, implementable models of pragmatics. Rather... read


Information Theory in Linguistics: Methods and Applications
Adina Williams and Ryan Cotterell

Since Shannon originally proposed his mathematical theory of communication in the middle of the 20th century, information theory has been an important way of viewing and investigating problems at ... read


Annotation, Recognition and Evaluation of Actions II (AREA-II)
Ielka van der Sluis and James Pustejovsky

AREA II is the follow up on the first AREA meeting at LREC 2018.
There has recently been increased interest in modeling actions, as described by natural language expressions and gestures, and ... read

02.08 03.08 La-CoWorkshop

Experimental approaches to language universals in structure and meaning
Mora Maldonado, Alexander Martin and Jennifer Culbertson

What is the range of variation in human languages? Despite their apparent differences, natural languages seem to exhibit many profound similarities between them. These similarities, often referred... read

02.08 03.08 Lo-LaWorkshop

Week 3 (Aug 9th - Aug 13th)

as list

Hands-on Distributional Semantics – From first steps to interdisciplinary applications (Introductory course)
Stefan Evert and Gabriella Lapesa

Distributional semantic models (DSM) are based on the assumption that the meaning of a word can (at least to a certain extent) be inferred from its usage, i.e. its distribution in text. Therefore,... read


Sematics based proof-search methods for non-classical logics
Camillo Fiorentini

Proof theory for non-classical logics has been deeply investigated. Standard techniques to prove the completeness of a calculus are based on syntactic methods, mostly relying on cut-elimination. T... read


Intensionalism and Propositionalism in Linguistic Semantics
Kristina Liefke and Ede Zimmermann

This course introduces two competing approaches to the semantics of intensional constructions, viz. intensionalism and propositionalism, that have recently come to the forefront of discussion in s... read


Embeddings in Natural Language Processing
Jose Camacho Collados and Mohammad Taher Pilehvar

Embeddings have been the dominating buzzword in 2010s for Natural Language Processing (NLP). Representing knowledge through a low-dimensional vector which is easily integrable in modern machine le... read


Dynamic inquisitive semantics
Jakub Dotlačil and Floris Roelofsen

This course brings together two important strands in the formal analysis of natural language meaning: dynamic semantics and inquisitive semantics. It develops an integrated logical framework, dyna... read


Probabilistic Semantics and Inference Under Uncertainty in Natural Language
Jean-Philippe Bernardy and Aleksandre Maskharashvili

An important aspect of human reasoning is to process underspecified information expressed in natural language (here, underspecified means that not enough information is available to make categoric... read


Probabilistic methods in social choice
Eric Pacuit

This course will survey the use of probabilistic methods and computer simulations to study group decision making methods. The course will begin with an introduction to social choice theory (primar... read


Symmetric Computation
Anuj Dawar and Gregory Wilsenach

The notion of a symmetric algorithm, i.e. one with an explicit combinatorial property that guarantees isomorphism-invariant computation, arises naturally in the context of database theory, finite ... read


Workshop on Logics of Dependence and Independence
Jouko Väänänen and Fan Yang

This is a workshop on "Logics of dependence and independence" consisting of a programme of invited and contributed talks. Logics of dependence and independence are novel non-classical logics aimin... read

09.08 10.08 Lo-CoWorkshop

Computational and Experimental Explanations in Semantics and Pragmatics
Shane Steinert-Threlkeld and Jakub Szymanik

The traditional methodology of natural language semantics has used tools largely drawn from mathematical logic to build models designed to predict native speaker judgments of entailment between se... read

09.08 10.08 La-CoWorkshop

Approaches to implicature: Rational choice and/or exhaustification
Judith Degen, Benjamin Spector and Daniel Lassiter

We propose to organize a workshop which will bring together researchers interested in two prominent threads of work on implicature in natural language. The first is the rational choice approach as... read

each day Lo-LaWorkshop