| 2024 | Quantifiers Closed Under Partial Polymorphisms. | Anuj Dawar, Lauri Hella |
| 2024 | Reverse Tangent Categories. | Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay |
| 2024 | Quantum Circuit Completeness: Extensions and Simplifications. | Alexandre Clment, No Delorme, Simon Perdrix, Renaud Vilmart |
| 2024 | Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). | Balder ten Cate |
| 2024 | Ehrenfeucht-Frass Games in Semiring Semantics. | Sophie Brinke, Erich Grdel, Lovro Mrkonjic |
| 2024 | From Local to Global Optimality in Concurrent Parity Games. | Benjamin Bordais, Patricia Bouyer, Stphane Le Roux |
| 2024 | Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. | Manon Blanc, Olivier Bournez |
| 2024 | A General Constructive Form of Higman's Lemma. | Stefano Berardi, Gabriele Buriola, Peter Schuster |
| 2024 | Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. | Fausto Barbero, Jonni Virtema |
| 2024 | Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. | Davide Barbarossa, Paolo Pistone |
| 2024 | A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. | Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti |
| 2024 | Extending the WMSO+U Logic with Quantification over Tuples. | Anita Badyl, Pawel Parys |
| 2024 | Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. | Quentin Aristote |
| 2024 | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2024 | Descriptive Complexity for Neural Networks via Boolean Networks. | Veeti Ahvonen, Damian Heiman, Antti Kuusisto |
| 2024 | Infinitary Cut-Elimination via Finite Approximations. | Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
| 2024 | Semantic Bounds and Multi Types, Revisited. | Beniamino Accattoli |
| 2024 | The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. | Yannick Forster, Dominik Kirst, Niklas Mck |
| 2024 | Intuitionistic Gdel-Lb Logic, la Simpson: Labelled Systems and Birelational Semantics. | Anupam Das, Iris van der Giessen, Sonia Marin |
| 2024 | Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures. | Luisa Herrmann, Vincent Peth, Sebastian Rudolph |
| 2024 | Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. | Vincent Moreau, L Thnh Dung Nguyn |
| 2024 | Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. | Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
| 2024 | Approximating Fixpoints of Approximated Functions (Invited Talk). | Barbara Knig |
| 2023 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2023 | Supported Sets - A New Foundation for Nominal Sets and Automata. | Thorsten Wimann |