List of courses
We will offer the following courses. The course schedule is comming soon.
| Language and Computation (LaCo) | |
|---|---|
| FOUNDATIONAL COURSES | |
| Timothée Bernard and Pascal Amsili | Natural language syntax: parsing and complexity |
| INTRODUCTORY COURSES | |
| 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 |
| ADVANCED COURSES | |
| 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) | |
|---|---|
| FOUNDATIONAL COURSES | |
| Bart Geurts | Common ground |
| Annemarie van Dooren and Anouk Dieuleveut | Decomposing the meaning of modals |
| INTRODUCTORY COURSES | |
| 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 |
| ADVANCED COURSES | |
| 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) | |
|---|---|
| FOUNDATIONAL COURSES | |
| Tobias Kappé | Elements of Kleene Algebra |
| Aleks Knoks and Eric Pacuit | Tools for Formal Epistemology: Doxastic Logic, Probability and Default Logic |
| INTRODUCTORY COURSES | |
| 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 |
| ADVANCED COURSES | |
| 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 |
| WORKSHOPS | ||
|---|---|---|
| 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) |