| 2026 | 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026 Stefano Guerrini, Barbara König |
| 2026 | A Canonical Form for Universe Levels in Impredicative Type Theory. Yoan Géran |
| 2026 | A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures. Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi |
| 2026 | A Game for Counting Logic Formula Size and an Application to Linear Orders. Gregoire Fournier, György Turán |
| 2026 | A Logic for Fresh Labelled Transition Systems. Mohamed H. Bandukara, Nikos Tzevelekos |
| 2026 | A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light. Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi |
| 2026 | A Uniform Cut-Elimination Theorem for Linear Logics with Fixed Points and Super Exponentials. Alexis Saurin, Esaïe Bauer |
| 2026 | A Unifying Conservation Theorem. Giulio Fellin |
| 2026 | Analysis of Logics with Arithmetic. Michael Benedikt, Chia-Hsuan Lu, Tony Tan |
| 2026 | Arity Hierarchies for Quantifiers Closed Under Partial Polymorphisms. Anuj Dawar, Lauri Hella, Benedikt Pago |
| 2026 | Automata and Algebras for Probability and Nondeterminism (Invited Talk). Ana Sokolova |
| 2026 | Boolean Basis and Succinctness of Modal Logic via Hella-Vilander Games. Sebastian Pfau |
| 2026 | Bridging Weighted First Order Model Counting and Graph Polynomials. Qipeng Kuang, Ondrej Kuzelka, Yuanhong Wang, Yuyi Wang |
| 2026 | Classifying Covering Types in Homotopy Type Theory. Samuel Mimram, Émile Oleon |
| 2026 | Compactness in Semiring Semantics. Sophie Brinke, Anuj Dawar, Erich Grädel, Lovro Mrkonjic, Matthias Naaf |
| 2026 | Constructing Witnesses for Lower Bounds on Behavioural Distances. Ruben Turkenburg, Harsh Beohar, Franck van Breugel, Clemens Kupke, Jurriaan Rot |
| 2026 | Cyclic Proof Theory of Generalised Inductive Definitions. Gianluca Curzi, Lukas Melgaard |
| 2026 | Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games. Isa Vialard |
| 2026 | Disjunctions of Two Dependence Atoms. Nicolas Fröhlich, Phokion G. Kolaitis, Arne Meier |
| 2026 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2026 | Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes. Manuel Bodirsky, Santiago Guzmán-Pro |
| 2026 | Interpreting Lambda Calculus in Domain-Valued Random Variables. Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2026 | Kamp Theorem for Pomset Languages of Higher Dimensional Automata. Emily Clement, Enzo Erlich, Jérémy Ledent |
| 2026 | Lax Modal Lambda Calculi. Nachiappan Valliappan |
| 2026 | Mean-Payoff and Energy Discrete-Bidding Games. Guy Avni, Suman Sadhukhan |
| 2026 | Memory Requirements in Non-Zero-Sum Games. Yoav Feinstein, Orna Kupferman |
| 2026 | Minimal DFAs Witnessing Language Inequivalence. Jan Martens |
| 2026 | On Left Adjoints Preserving Colimits in HoTT. Perry Hart |
| 2026 | On the Algorithmic Structure of Dialectica Realisers. Davide Barbarossa, Thomas Powell |
| 2026 | On the Entailment Problem in Dynamic Separation Logic with Inductive Definitions. Nicolas Peltier |
| 2026 | Parametric Disjunctive Timed Networks. Étienne André, Swen Jacobs, Engel Lefaucheux |
| 2026 | Parametric Iteration in Resource Theories. Alessandro Di Giorgio, Pawel Sobocinski, Niels F. W. Voorneveld |
| 2026 | Rational Lawvere Logic (Invited Paper). Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2026 | Reasoning About Quality in Hyperproperties. Samuel Graepler, Benjamin Monmege, Jean-Marc Talbot |
| 2026 | Register-Bounded Synthesis from Constraint LTL. Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier |
| 2026 | Resourceful Traces for Commuting Processes. Matthew Earnshaw, Chad Nester, Mario Román |
| 2026 | Reward Interfaces with Best-Effort Implementations. Rafael Dewes, Rayna Dimitrova |
| 2026 | Robustness of Constraint Automata for Description Logics with Concrete Domains. Stéphane Demri, Tianwen Gu |
| 2026 | Satisfiability in Łukasiewicz Logic and Its Unbounded Relative. Zuzana Haniková, Filip Jankovec |
| 2026 | String Diagrams for Closed Symmetric Monoidal Categories. Callum Reader, Alessandro Di Giorgio |
| 2026 | The Ackermann Award 2025. Maribel Fernández, Prakash Panangaden |
| 2026 | The Biequivalence of Path Categories and Axiomatic Martin-Löf Type Theories. Daniël Otten, Matteo Spadetto |
| 2026 | The Groupoid-Syntax of Type Theory Is a Set. Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie |
| 2026 | The Logic Behind Colour Refinement (Invited Talk). Sandra Kiefer |
| 2026 | Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk). Pierre Clairambault |
| 2026 | Towards the Type Safety of Pure Subtype Systems. Valentin Pasquale, Álvaro García-Pérez |
| 2026 | Useful Call-by-Value: A Semantic Interpretation via Quantitative Types. Pablo Barenbaum, Delia Kesner, Mariana Milicich |
| 2026 | Weakly-Sparse and Strongly Flip-Flat Classes of Graphs Are Uniformly Almost-Wide. Fatemeh Ghasemi, Julien Grange, Mamadou Moustapha Kanté, Florent R. Madelaine |
| 2026 | Well-Founded Coalgebras Meet Kőnig's Lemma. Henning Urbat, Thorsten Wißmann |
| 2026 | ε-Distance via Lévy-Prokhorov Lifting. Josée Desharnais, Ana Sokolova |