| 2024 | 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024 Aniello Murano, Alexandra Silva |
| 2024 | A First Order Theory of Diagram Chasing. Assia Mahboubi, Matthieu Piquerez |
| 2024 | A General Constructive Form of Higman's Lemma. Stefano Berardi, Gabriele Buriola, Peter Schuster |
| 2024 | A Generic Characterization of Generalized Unary Temporal Logic and Two-Variable First-Order Logic. Thomas Place, Marc Zeitoun |
| 2024 | A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. Éric Goubault, Roman Kniazev, Jérémy Ledent |
| 2024 | A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. Philippe Balbiani, Han Gao, Çigdem Gencer, Nicola Olivetti |
| 2024 | Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids. Quentin Aristote |
| 2024 | Approximating Fixpoints of Approximated Functions (Invited Talk). Barbara König |
| 2024 | Artificial Intelligence and Artificial Ignorance (Invited Talk). Georg Gottlob |
| 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 | Coherence by Normalization for Linear Multicategorical Structures. Federico Olimpieri |
| 2024 | Concurrent Stochastic Lossy Channel Games. Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | Confluence of Conditional Rewriting Modulo. Salvador Lucas |
| 2024 | Conservativity of Type Theory over Higher-Order Arithmetic. Daniël Otten, Benno van den Berg |
| 2024 | Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk). Balder ten Cate |
| 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 | Descriptive Complexity for Neural Networks via Boolean Networks. Veeti Ahvonen, Damian Heiman, Antti Kuusisto |
| 2024 | Ehrenfeucht-Fraïssé Games in Semiring Semantics. Sophie Brinke, Erich Grädel, Lovro Mrkonjic |
| 2024 | Energy Games over Totally Ordered Groups. Alexander Kozachinskiy |
| 2024 | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2024 | Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. Fausto Barbero, Jonni Virtema |
| 2024 | Extending the WMSO+U Logic with Quantification over Tuples. Anita Badyl, Pawel Parys |
| 2024 | Extensions and Limits of the Specker-Blatter Theorem. Eldar Fischer, Johann A. Makowsky |
| 2024 | From Local to Global Optimality in Concurrent Parity Games. Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2024 | Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth. Eva Fluck, Tim Seppelt, Gian Luca Spitzer |
| 2024 | Guarded Hybrid Team Logics. Marius Tritschler |
| 2024 | Infinitary Cut-Elimination via Finite Approximations. Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri |
| 2024 | Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. Anupam Das, Iris van der Giessen, Sonia Marin |
| 2024 | Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability. Moritz Lichter, Benedikt Pago, Tim Seppelt |
| 2024 | Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. Satoshi Nakata |
| 2024 | Logical Algorithmics: From Theory to Practice (Invited Talk). Moshe Y. Vardi |
| 2024 | Promise and Infinite-Domain Constraint Satisfaction. Antoine Mottet |
| 2024 | QLTL Model-Checking. François Laroussinie, Loriane Leclercq, Arnaud Sangnier |
| 2024 | Quantifiers Closed Under Partial Polymorphisms. Anuj Dawar, Lauri Hella |
| 2024 | Quantifiying the Robustness of Dynamical Systems. Relating Time and Space to Length and Precision. Manon Blanc, Olivier Bournez |
| 2024 | Quantum Circuit Completeness: Extensions and Simplifications. Alexandre Clément, Noé Delorme, Simon Perdrix, Renaud Vilmart |
| 2024 | Realizability Models for Large Cardinals. Laura Fontanella, Guillaume Geoffroy, Richard Matthews |
| 2024 | Remarks on Parikh-Recognizable Omega-languages. Mario Grobler, Leif Sabellek, Sebastian Siebertz |
| 2024 | Reverse Tangent Categories. Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay |
| 2024 | Semantic Bounds and Multi Types, Revisited. Beniamino Accattoli |
| 2024 | Strategy Synthesis for Partially Observable Stochastic Games with Neural Perception Mechanisms (Invited Talk). Marta Kwiatkowska |
| 2024 | Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. Vincent Moreau, Lê Thành Dung Nguyên |
| 2024 | The Ackermann Award 2023. Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner |
| 2024 | The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions. Yannick Forster, Dominik Kirst, Niklas Mück |
| 2024 | The Produoidal Algebra of Process Decomposition. Matt Earnshaw, James Hefford, Mario Román |
| 2024 | The Worst-Case Complexity of Symmetric Strategy Improvement. Tom van Dijk, Georg Loho, Matthew T. Maat |
| 2024 | Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. Jonathan Sterling, Daniel Gratzer, Lars Birkedal |
| 2024 | Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. Davide Barbarossa, Paolo Pistone |
| 2024 | What Monads Can and Cannot Do with a Bit of Extra Time. Rasmus Ejlers Møgelberg, Maaike Zwart |