List of courses

We will offer the following courses. The course schedule is comming soon.

Language and Computation (LaCo)
Timothée Bernard and Pascal Amsili Natural language syntax: parsing and complexity
Kata Balogh and Simon Petitjean Tree-Adjoining Grammars: Theory and implementation
Mehrnoosh Sadrzadeh and Gijs Wijnholds Natural Language Syntax and Statistical Semantics with Modal Lambek Calculus
Bruno Guillaume and Kim Gerdes Treebanking: methodology, tools and applications
Eric Pacuit Computational Game Theory in Julia
Antonio Toral and Arianna Bisazza Neural Machine Translation
John P. McCrae Introduction to Linguistic Data Science
Tim Van de Cruys Computational Creativity
Enrica Troiano and Valerio Basile Data Perspectivism in Computational Linguistics
Fausto Carcassi and Michael Franke The probabilistic Language of Thought
Lidia Pivovarova and Andrey Kutuzov Computational approaches to semantic change detection
Michael Roth Limitations in NLP: Disagreements, Misunderstandings, and other Challenges
Martha Palmer and James Pustejovsky A Uniform Meaning Representation for NLP Systems
Kyle Richardson and Vivek Srikumar Formal Techniques for Neural-symbolic Modeling
Ryan Cotterell Formal Language Theory and Neural Networks
Gasper Begus Deep Language Learning: Modeling language from raw speech

Language and Logic (LaLo)
Bart Geurts Common ground
Annemarie van Dooren and Anouk Dieuleveut Decomposing the meaning of modals
Salvatore Florio and Carlo Nicolai Formal Theories of Properties
Elin Mccready and Grégoire Winterstein Communitarian Semantics
Lorenzo Rossi and Paolo Santorio Trivalent and Dynamic Theories of Conditionals
Merel Semeijn and Louis Rouillé Let’s talk about Frodo: Foundations of the Semantics of Fiction
Peter Fritz Propositional Quantifiers
Niki Pfeifer Probability logic, language, and cognition
Deniz Özyıldız and Ciyang Qing Semantic properties and combinatorial restrictions of attitude predicates
Zhaohui Luo Advanced Topics in Formal Semantics Based on Modern Type Theories
Cornelia Ebert and Markus Steinbach The semantics of visual communication. Theoretical approaches to visual meaning aspects in co-speech gestures and sign language
Keny Chatain and Benjamin Spector Current topics in the semantics and pragmatics of plural expressions
Yoad Winter The Semantics of Reciprocity
Patrick Elliott and Lisa Hofmann Explaining anaphoric accessibility: navigating non-veridical environments in dynamic semantics
Luka Crnic and Yosef Grodzinsky Monotonicity: Grammar, Processing, and Neural Reflections
Giuseppe Sanfilippo Logical Operations Among Conditionals as Conditional Random Quantities

Logic and Computation (LoCo)
Tobias Kappé Elements of Kleene Algebra
Aleks Knoks and Eric Pacuit Tools for Formal Epistemology: Doxastic Logic, Probability and Default Logic
Rustam Galimullin and Louwe B. Kuijer Quantification in Dynamic Epistemic Logic
Luca Geatti and Angelo Montanari The Safety Fragment of Temporal Logics of Infinite Sequences
Francesca Poggiolesi Proofs and explanations
Giulio Guerrieri The lambda-calculus: from simple types to non-idempotent intersection types.
Wesley Holliday Possibility Semantics
Matteo Acclavio and Paolo Pistone An Introduction to Proof Equivalence
Louwe B. Kuijer Conditional logics of preference: how to make the best choice
Balder Ten Cate and Carsten Lutz Logic, Data Examples, and Learning
Valentin Goranko and Dmitry Shkatov First-order Modal and Temporal Logics: Philosophical and Computational Aspects
Alessio Mansutti and Christoph Haase Linear arithmetic theories: algorithms and applications
Brian Logan Logics for Safe AI
Beniamino Accattoli Time and Space for the lambda Calculus
Nebojša Ikodinović and Dragan Doder Logics with Probability Operators and Quantifiers (Advanced course)
Anupam Das Proof theory of arithmetic (Advanced course)
Fan Yang Foundational Course: Logics of dependence and independence

Valentin Goranko and Dmitry Shkatov Workshop on First-order Modal and Temporal Logics: state of the art and perspectives Logic and Computation (LoCo)
Milica Denić Workshop: Internal and external pressures shaping language Language and Logic (LaLo)
Michael Moortgat and Mehrnoosh Sadrzadeh Modalities in substructural logics: applications at the interfaces of logic, language and computation Logic and Computation (LoCo)
Sonia Ramotowska and Fabian Schlotterbeck Procedural and computational models of semantic and pragmatic processes Language and Computation (LaCo)