All courses by area/level
Language & Computation
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 11:00 - 12:30 | Tim Hunter | Sharpening the Empirical Claims of Generative Syntax through Formalization |
1 | 17:00 - 18:30 | Chris Barker | Monads and Natural Language |
1 | 09:00 - 10:30 | Judith Degen & Michael Franke | Probabilistic and experimental pragmatics |
2 | 11:00 - 12:30 | David Traum | Computational Models of Grounding in Dialogue |
2 | 17:00 - 18:30 | Shravan Vasishth | Statistical methods for linguistic research: Advanced Tools |
2 | 09:00 - 10:30 | Tim Fernando | Finite-State Methods for Sub-Atomic Semantics |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 11:00 - 12:30 | Barbora Hladka & Martin Holub | Selected Topics in Applied Machine Learning: An integrating view on data analysis and learning algorithms |
1 | 14:00 - 15:30 | Shravan Vasishth | Statistical methods for linguistic research: Foundational Ideas |
1 | 17:00 - 18:30 | Andrea Schalley | Ontologies and ontological methods in linguistics |
2 | 14:00 - 15:30 | Chris Barker | The logic of scope |
2 | 11:00 - 12:30 | Kata Balogh & Timm Lichte | Working with Tree-Adjoining Grammars |
2 | 09:00 - 10:30 | Camilo Thorne | Reasoning-based Dialogue Systems |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 09:00 - 10:30 | Wiebke Petersen & Kata Balogh | Formal Languages in Theory and Practice |
2 | 17:00 - 18:30 | Willem Zuidema | Vectorial and neural models of compositional semantics |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
2 | 14:00 - 15:30 | Valeria de Paiva & Charles Ortiz | Logic and Probabilistic Methods for Dialog Modelling |
Logic & Computation
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 11:00 - 12:30 | Philip Wadler | Propositions as Types |
2 | 11:00 - 12:30 | Valentin Goranko | Logical reasoning about knowledge, actions and abilities |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 17:00 - 18:30 | Andreas Pieris & Michaël Thomazo | Ontological Conjunctive Query Answering via Existential Rules |
1 | 14:00 - 15:30 | Paola Bruscoli | Introduction to Deep Inference |
1 | 09:00 - 10:30 | Philippe Balbiani & Cigdem Gencer | Unification in non-classical logics: hot topics |
2 | 09:00 - 10:30 | Stéphane Demri & Morgan Deters | Logical Investigations on Separation Logics |
2 | 14:00 - 15:30 | Carlos Areces & Raul Fervari | Logics: A Dynamic Perspective |
2 | 17:00 - 18:30 | Yanjing Wang | Beyond "knowing that": non-standard epistemic logics |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 11:00 - 12:30 | Thomas Icard & Jakub Szymanik | Bridging Logical and Probabilistic Approaches to Language and Cognition |
2 | 14:00 - 15:30 | Natasha Alechina & Brian Logan | Workshop on Logics for Resource-Bounded Agents |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 14:00 - 15:30 | Fernando R. Velázquez-Quesada | Epistemic Dynamics for Non-ideal Agents |
1 | 17:00 - 18:30 | Carlos Areces & Patrick Blackburn | Logics: A Modal Perspective |
1 | 09:00 - 10:30 | Andrzej Murawski & Nikos Tzevelekos | Automata over infinite alphabets |
2 | 09:00 - 10:30 | Alessio Guglielmi & Anupam Das | Normalisation and Deep Inference |
2 | 17:00 - 18:30 | Francois Laroussinie & Nicolas Markey | Temporal logics for multi-agent systems: expressiveness and algorithms |
2 | 11:00 - 12:30 | Olaf Beyersdorff | Proof Complexity |
Language & Logic
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 14:00 - 15:30 | Robin Cooper & Christian Retore | Lexical semantics and type theory |
1 | 14:00 - 15:30 | Scott Grimm & Stephanie Solt | Experimental Approaches to Semantics (ExAS) |
2 | 17:00 - 18:30 | Yusuke Kubota & Robert Levine | Empirical Advances in Categorial Grammar |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 09:00 - 10:30 | Giuseppe Greco & Tommaso Flaminio & Sabine Frittella | Algebraic and proof theoretical methods in dynamic logics |
1 | 11:00 - 12:30 | Alda Mari & Anastasia Giannakidou | Modality and evaluation in cross-linguistic semantics |
2 | 11:00 - 12:30 | Friederike Moltmann | Act-Based Conceptions of Propositional Content |
2 | 09:00 - 10:30 | Gianluca Giorgolo & Ash Asudeh | Natural Language Semantics with Enriched Meanings |
2 | 17:00 - 18:30 | Eric McCready & Nicholas Asher | Cooperative and Non-cooperative Discourse in Games |
2 | 14:00 - 15:30 | Lisa Bylinina & Yasutada Sudo | The Semantics of Perspective-Sensitivity |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 11:00 - 12:30 | Kathryn Davidson & Jeremy Kuhn | The meaning of space: New advances in sign language semantics |
1 | 09:00 - 10:30 | Elena Castroviejo & Berit Gehrke | Degree and manner modification across categories |
1 | 14:00 - 15:30 | Stepan Kuznetsov | Lambek categorial grammars |
1 | 17:00 - 18:30 | Patricia Cabredo Hofherr & Lucia M. Tovena | Event pluralities |
2 | 11:00 - 12:30 | Eric McCready & Daniel Gutzman | Expressive Content |
2 | 14:00 - 15:30 | Jeroen Groenendijk & Floris Roelofsen | Inquisitive semantics |
Week![]() |
Slot | Lecturer | Title |
---|---|---|---|
1 | 17:00 - 18:30 | Philippe Schlenker | Primate Linguistics |
2 | 09:00 - 10:30 | Eric Pacuit | Reasoning in Games |