| 2025 | 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, The Netherlands, February 10-14, 2025 Jörg Endrullis, Sylvain Schmitz |
| 2025 | A Complete Diagrammatic Calculus for Automata Simulation. Thibaut Antoine, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2025 | A Complete Graphical Language for Linear Optical Circuits with Finite-Photon-Number Sources and Detectors. Nicolas Heurtel |
| 2025 | A Complete Inference System for Probabilistic Infinite Trace Equivalence. Corina Cîrstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2025 | A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs. Leandro Gomes, Patrick Baillot, Marco Gaboardi |
| 2025 | A Mixed Linear and Graded Logic: Proofs, Terms, and Models. Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard |
| 2025 | A Rewriting Theory for Quantum λ-Calculus. Claudia Faggian, Gaetan Lopez, Benoît Valiron |
| 2025 | A Strictly Linear Subatomic Proof System. Victoria Barrett, Alessio Guglielmi, Benjamin Ralph |
| 2025 | Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. Andrei Draghici, Radoslaw Piórkowski, Andrew Ryzhikov |
| 2025 | Classical Linear Logic in Perfect Banach Lattices. Pedro H. Azevedo de Amorim, Leon Witzman, Dexter Kozen |
| 2025 | Completeness of First-Order Bi-Intuitionistic Logic. Dominik Kirst, Ian Shillito |
| 2025 | Computational Complexity of the Weisfeiler-Leman Dimension. Moritz Lichter, Simon Raßmann, Pascal Schweitzer |
| 2025 | Correspondences Between Codensity and Coupling-Based Liftings, a Practical Approach. Samuel Humeau, Daniela Petrisan, Jurriaan Rot |
| 2025 | Coslice Colimits in Homotopy Type Theory. Perry Hart, Kuen-Bang Hou (Favonia) |
| 2025 | Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2025 | Equi-Rank Homomorphism Preservation Theorem on Finite Structures. Benjamin Rossman |
| 2025 | Exponential Lower Bounds on Definable Fixed Points. Konstantinos Papafilippou, David Fernández-Duque |
| 2025 | Extension Preservation on Dense Graph Classes. Ioannis Eleftheriadis |
| 2025 | Finite Relational Semantics for Language Kleene Algebra with Complement. Yoshiki Nakamura |
| 2025 | Finite Variable Counting Logics with Restricted Requantification. Simon Raßmann, Georg Schindling, Pascal Schweitzer |
| 2025 | First-Order Logic with Equicardinality in Random Graphs. Simi Haber, Tal Hershko, Mostafa Mirabi, Saharon Shelah |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | Insights from Univalent Foundations: A Case Study Using Double Categories. Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North |
| 2025 | Kleene Algebra with Commutativity Conditions Is Undecidable. Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi |
| 2025 | Linear Realisability over Nets: Multiplicatives. Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco |
| 2025 | Minimality in Finite-Dimensional ZW-Calculi. Marc de Visme, Renaud Vilmart |
| 2025 | Modal Automata: Analysing Modal Fixpoint Logics, One Step at a Time (Invited Talk). Yde Venema |
| 2025 | On Homogeneous Models of Fluted Languages. Daumantas Kojelis |
| 2025 | On the Expansion of Monadic Second-Order Logic with Cantor-Bendixson Rank and Order Type Predicates. Thomas Colcombet, Alexander Rabinovich |
| 2025 | On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata. Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash |
| 2025 | On the Probabilistic and Statistical Verification of Infinite Markov Chains (Invited Talk). Patricia Bouyer |
| 2025 | On the VC Dimension of First-Order Logic with Counting and Weight Aggregation. Steffen van Bergerem, Nicole Schweikardt |
| 2025 | Permissive Equilibria in Multiplayer Reachability Games. Aline Goeminne, Benjamin Monmege |
| 2025 | Playing with Modalities (Invited Talk). Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller |
| 2025 | Propositional Logics of Overwhelming Truth. Thibaut Antoine, David Baelde |
| 2025 | Quantitative Graded Semantics and Spectra of Behavioural Metrics. Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing |
| 2025 | Quantum and Classical Markovian Graphical Causal Models and Their Identification. Jonathan Barrett, Isaac Friend, Aleks Kissinger |
| 2025 | Reachability for Multi-Priced Timed Automata with Positive and Negative Rates. Andrew Scoones, Mahsa Shirmohammadi, James Worrell |
| 2025 | Simple Types for Probabilistic Termination. Willem Heijltjes, Georgina Majury |
| 2025 | Strong Induction Is an Up-To Technique. Filippo Bonchi, Elena Di Lavore, Anna Ricci |
| 2025 | Synthetic Mathematics for the Mechanisation of Computability Theory and Logic (Invited Talk). Yannick Forster |
| 2025 | Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents. Tim S. Lyon, Ian Shillito, Alwen Tiu |
| 2025 | The Ackermann Award 2024. Maribel Fernández, Prakash Panangaden |
| 2025 | The Algebras for Automatic Relations. Rémi Morvan |
| 2025 | The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum. Luca Aceto, Antonis Achilleos, Aggeliki Chalki, Anna Ingólfsdóttir |
| 2025 | The Complexity of Second-Order HyperLTL. Hadar Frenkel, Martin Zimmermann |
| 2025 | The Lambda Calculus Is Quantifiable. Valentin Maestracci, Paolo Pistone |
| 2025 | The Parameterized Complexity of Learning Monadic Second-Order Logic. Steffen van Bergerem, Martin Grohe, Nina Runde |
| 2025 | Two-Way One-Counter Nets Revisited. Shaull Almagor, Michaël Cadilhac, Asaf Yeshurun |
| 2025 | Undefinability of Approximation of 2-To-2 Games. Anuj Dawar, Bálint Molnár |
| 2025 | Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations. Tim S. Lyon |