Language and Logic
Advanced
- Friederike Moltmann: Approaches to Parts and Wholes in Semantics
- Alexandros Kalomoiros, Patrick Elliott: Explanation and Semantic Theory: The Case of Presupposition
- Daisuke Bekki: Composing Meaning via Dependent Types
- Robert Henderson: Dogwhistles at the intersection of semantics, pragmatics, and social meaning
- Vít Punčochář: Information-based semantics
Foundational
- Merel Semeijn, Bart Geurts: Context outside face-to-face settings
- Robert Henderson: The Common Ground and its extensions
Introductory
- Siddharth Bhaskar: Model theory for phonology
- Lucas Champollion: Stoic Logic from a Model-Theoretic Perspective
- Mark-Matthias Zymla, Jamie Y. Findlay: An introduction to Glue Semantics: Theoretical and
computational perspectives
- Paolo Santorio, Jéssica Viana Mendes: Predictive and Counterfactual Modality
- Niki Pfeifer: Probability logic, language, and cognition
- Giuseppe Sanfilippo: Probabilistic logic reasoning under coherence and compound conditionals
Language and Computation
Advanced
- Kyle Richardson, Gijs Wijnholds: Language model programming: paradigms, techniques and applications
- Asad B. Sayeed, Ellen Breitholtz: Linguistics and NLP in political communication
- Julian Grove, Aaron Steven White: Probabilistic Dynamic Semantics
- Andy Lücking, Alexander Henlein: Spatial Gesture Semantics
Foundational
- Aleks Knoks: Formal models of reasons
- John Philip McCrae: Foundations of Linguistic Data Science
- Anya Belz, Craig Thomson: Tutorial on Human Evaluation of NLP System Quality
- Omnia Zayed: Introduction to Opinion Mining and Social Media Language Analysis
Introductory
- Stephanie Evert, Michaela Mahlberg: Reading Concordances: a training course in key corpus linguistics methodology
- Mehrnoosh Sadrzadeh, Gijs Wijnholds: Statistical Semantics via Logical Syntax
- Vincent Wang-Maścianica: Text as pictures
- Shiwei Liu: Sparsity in Large Language Models: The New Odyssey
- Zuzana Nevěřilová: Structured and Unstructured Data: Knowledge Graphs, Logic and Language Models
Logic and Computation
Advanced
- Tom de Jong: Categorical Realizability
- Valentin Shehtman, Dmitry Shkatov: Semantics for first-order modal logics: a modern introduction
- Tomáš Jakl: An Invitation to Game Comonads
- Joao Marques-Silva: Logic-Based Explainable Artificial Intelligence
- Eric Pacuit: Epistemic Arithmetic
- Giulio Guerrieri, Davide Barbarossa: The Lambda-Calculus, from Minimal to Classical Logic
- Benedikt Pago: The quest for a logic for polynomial time
Foundational
- Iris van der Giessen, Abhishek De: Introduction to Proof Theory
- Kees van Berkel, Christian Straßer: Introduction to Logical Argumentation
Introductory
- Valentin Goranko: Temporal Logics: philosophical and computational aspects
- Efthymia Tsamoura, Emile van Krieken: Neurosymbolic learning: an introductory course to theory and applications
- Hans van Ditmarsch, Malvin Gattinger: Gossip and Knowledge
- Réka Markovich, Luca Pasetto: Deontic Logic, Normative Systems, and Their Application in AI&Law.
- Michael Benedikt, David Jaime Tena Cucala: Logic and Graph Neural Networks
- Wesley Fussner: Canonical Extensions: A Unifying Perspective on Semantics for Logics
- Alexander V. Gheorghiu, Tao Gu: Introduction to Proof-theoretic Semantics
- Lutz Straßburger, Victoria Barrett: Introduction to Deep Inference
Workshops
Language and Logic
- Giuliano Rosella,Vincenzo Crupi: If...then..., Once Again: New Perspectives on the Logic, Truth Conditions, and Probabilities of Conditionals
- Alessandro Giordani, Vita Saitta: Truthmaker Semantic and Modal Logic
Language and Computation
- Lasha Abzianidze, Valeria de Paiva: Natural Logic Meets Machine Learning (NALOMA)
- Mehrnoosh Sadrzadeh, Daphne Wang: Theory and applications of sheaf theory
Logic and Computation
- Nicholas Pischke, Thomas Powell: Programs from proofs meets formal mathematics
