PROGRAMME SCHEDULE
Scheduled Course/Workshop Week Assignment
(A more detailed schedule will be published soon.)
Week 1
- Thomas Stephen and Fausto Carcassi: The Function of Composition
- Marco Degano and Robert van Rooij: Formal Theories of Vagueness
- Natasha Korotkova: On the plurality of the verbs: Attitudes of knowledge and belief
- Keny Chatain and Benjamin Spector: Introduction to the semantics and pragmatics of anaphora
- Larry Moss: Natural Logic
- Calum McNamara and Paolo Santorio: Conditionals in Decision Theory
- Dean McHugh: Conditional Modality
- Niki Pfeifer: Probability logic, language, and cognition
- Jéssica Mendes and Jonathan Caleb Kendrick: Monotonicity in conditionals
- Howard Gregory: The lambda calculus and simple type theory: A toolkit
- Omnia Zayed: Introduction to Opinion Mining and Social Media Language Analysis
- François Schwarzentruber: Verifying graph neural networks
- Thomas Meyer and Ivan Varzinczak: Defeasible Description Logics
- Sujata Ghosh and Dazhu Li: Reasoning in graph games: A modal logic study
- Gaia Belardinelli and Snow Zhang: Modeling Awareness
- Anupam Das: Cyclic Proofs, a Primer
- Valentin Goranko and Dmitry Shkatov: Tableaux-based decision methods for modal, temporal, and epistemic logics
- Nicola Gigante: Algebraic Automata Theory: A Rosetta Stone for Computer Scientists
- Phokion Kolaitis: Combinatorial Games in Finite Model Theory
- Sara Ayhan and Greg Restall: Logical Bilateralism - Proofs, Models and Applications
- Fan Yang: Logics of dependence and independence
- Catalin Dima and Wojciech Jamroga: Formal Verification of Multi-Agent Systems. Why, What, and Especially: How?
- Willem Heijltjes and Lutz Straßburger: Proofs without syntax: An introduction to proof nets and combinatorial proofs
- Ivan Varzinczak: A Gentle Introduction to Description Logics
- Levin Hornischer: Stone Duality: Connecting Algebra and Topology via Logic
- Christoph Benzmüller and Luca Pasetto: Experimenting with the LogiKEy Framework & Methodology: Normative Reasoning, Computational Metaphysics, and More
- Louise McNally and Gemma Boleda: Referring expression choice in grounded contexts: Linguistic, cognitive, and computational aspects
- Lasha Abzianidze and Hitomi Yanaka: Natural Language Meets Logic and Machine Learning (the NALOMA workshop)
Week 2
- Lorenz Demey and Stef Frijters: Advanced Topics in Logical Geometry
- Linmin Zhang and Yael Greenberg: Norm-Sensitivity Beyond Gradable Expressions
- Aleksi Anttila and Marco Degano: Team Semantics: Linguistic and Philosophical Applications
- Øystein Linnebo and Eric Snyder: Type-Lowering and Paradox in Natural Language
- Deniz Ozyıldız and Tom Roberts: Attitude adjustment: Trends in the semantics of clausal-embedding
- Michelle Stankovic and Morgan Moyer: Experimental and theoretical investigations of affect in language and cognition
- Rossella Varvara: Vector representations of morphological processes
- Ryan Cotterell: The Logic Underlying Language Models
- David Traum: Computational Models of Conversational Grounding
- Giorgio Magri: The laws of probabilistic phonology
- Maryam Mohammadi and Hendrik Buschmeier: From Speech Act Theory to Dialogue Act Modeling
- Pavel Naumov: Responsible Mechanism Design
- Bartosz Bednarczyk and Ian Pratt-Hartmann: Computational perspectives on the classical decision problem: a vade mecum
- Tom de Jong: Introduction to Homotopy Type Theory / Univalent Foundations
- Leendert van der Torre and Liuwen Yu: Logic and Argumentation for New Generation AI
- Karel Chvalovský and Mikoláš Janota: Introduction to SAT and SMT solving
- Valentin Goranko: Coordination games, rationality, and logic
- Shay Logan: Foundational Course: First-Order Dynamic Logic
- Peter Sutton and Louise McNally: Polysemy across categories
- Tomáš Jakl and Dan Marsden: Semantics and compositionality for expressiveness and complexity
- Natasha Korotkova and Salvador Mascarenhas: Conceptual structure of attitudes: Language and cognition
- Massimo Poesio and Manfred Stede: Human Label Variation in Discourse and Pragmatic Phenomena