Home
Program
Daily schedule
Schedule by week
Courses and Workshops:
by area
by week
all workshops
Social Activities
Student Session
Beth Dissertation Prize
Evening Lectures
Info for participants
People
Organization
Lecturers
Student Session
Registration
Courses And Workshops
Language and Computation (LaCo)
Logic and Language (LoLa)
Logic and Computation (LoCo)
Week 1
(July 26th - July 30th)
as grid
Commitment-based pragmatics
Bart Geurts
Foundational
LoLa
Information theory
Mathias Winther Madsen
Foundational
LaCo
Introduction to Deontic Logic and Its Applications (Introductory course)
Réka Markovich, Leon van der Torre
Introductory
LoCo
Additivity, scalarity and the interactions between them: Beyond 'also' and 'even'
Yael Greenberg, Carla Umbach
Introductory
LoLa
Introduction to natural language formal semantics
Philippe de Groote, Yoad Winter
Foundational
LoLa
Temporal Logics
Valentin Goranko
Introductory
LoCo
An opinionated guide to the language of opinion
Natasha Korotkova, Pranav Anand
Introductory
LoLa
The Computational Nature of Language
Thomas Graf
Foundational
LoLa
Advanced mereology for linguists
Lucas Champollion
Advanced
LoLa
Logical foundations of categorization theory
Fei Liang, Alessandra Palmigiano
Advanced
LoCo
Lewis meets Brouwer: Constructive strict implication
Tadeusz Litak, Albert Visser
Advanced
LoCo
The semantics of metaphor
Joost Zwarts
Introductory
LoLa
Logic, Data, and Incomplete Information
Phokion Kolaitis
Advanced
LoCo
Analyzing the Cognitive Plausibility of Deep Language Models
Lisa Beinborn, Nora Hollenstein, Willem Zuidema
Advanced
LaCo
The semantics and psycholinguistics of subjective predicates
Elsi Kaiser, Deniz Rudin
Introductory
LoLa
Workshop on Computing Semantics with Types, Frames and Related Structures
Stergios Chatzikyriakidis, Rainer Osswald
Workshop
LaCo
Workshop on automated synthesis
Natasha Alechina, Brian Logan
Workshop
LoCo
Week 2
(Aug 2nd - Aug 6th)
as grid
Abstract Argumentation and Modal Logic
Davide Grossi, Carlo Proietti
Advanced
LoLa
From Proof Nets to Combinatorial Proofs — A new approach to Hilbert’s 24th problem
Willem Heijltjes, Lutz Straßburger
Advanced
LoCo
Unifying formulaic, geometric, and algebraic theories of semantics
Andras Kornai
Introductory
LoLa
Theoretical and Methodological Approaches to Animal Semantics: a Super Linguistic Introduction
Patrick Georg Grosz, Mélissa Berthet
Introductory
LoLa
Actions, Blames, and Regrets
Pavel Naumov
Introductory
LoCo
Probabilistic Language Understanding
Gregory Scontras
Introductory
LaCo
Information Theory in Linguistics: Methods and Applications
Adina Williams, Ryan Cotterell, Richard Futrell
Advanced
LaCo
Foundations of query languages for graph databases
Pablo Barceló, Diego Figueira
Introductory
LoCo
Annotation, Recognition and Evaluation of Actions II (AREA-II)
Ielka van der Sluis, James Pustejovsky
this workshop is cancelled
Workshop
LaCo
Experimental approaches to language universals in structure and meaning
Mora Maldonado, Alexander Martin, Jennifer Culbertson
Workshop
LoLa
Week 3
(Aug 9th - Aug 13th)
as grid
Hands-on Distributional Semantics – From first steps to interdisciplinary applications
Stefan Evert, Gabriella Lapesa
Foundational
LaCo
Semantics based proof-search methods for non-classical logics
Camillo Fiorentini
Introductory
LoCo
Intensionalism and Propositionalism in Linguistic Semantics
Kristina Liefke, Ede Zimmermann
Advanced
LoLa
Embeddings in Natural Language Processing
Jose Camacho Collados, Mohammad Taher Pilehvar
Introductory
LaCo
Dynamic inquisitive semantics
Jakub Dotlačil, Floris Roelofsen
Advanced
LoLa
Probabilistic Semantics and Inference Under Uncertainty in Natural Language
Jean-Philippe Bernardy, Aleksandre Maskharashvili
Introductory
LaCo
Probabilistic methods in social choice
Eric Pacuit
Introductory
LoCo
Symmetric Computation
Anuj Dawar, Gregory Wilsenach
Advanced
LoCo
Workshop on Logics of Dependence and Independence
Jouko Väänänen, Fan Yang
Workshop
LoCo
Computational and Experimental Explanations in Semantics and Pragmatics
Shane Steinert-Threlkeld, Jakub Szymanik
Workshop
LaCo
Approaches to implicature: Rational choice and/or exhaustification
Judith Degen, Benjamin Spector, Daniel Lassiter
Mon-Thu at 17:30-19:00 CEST, Fri at 16:00-17:30 CEST
Workshop
LoLa
Top