| 2025 | 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025 Maribel Fernández |
| 2025 | A Zoo of Continuity Properties in Constructive Type Theory. Martin Baillon, Yannick Forster, Assia Mahboubi, Pierre-Marie Pédrot, Matthieu Piquerez |
| 2025 | An Expressive Trace Logic for Recursive Programs. Dilian Gurov, Reiner Hähnle |
| 2025 | An Innermost DP Framework for Constrained Higher-Order Rewriting. Carsten Fuhs, Liye Guo, Cynthia Kop |
| 2025 | Branch Sequentialization in Quantum Polytime. Emmanuel Hainry, Romain Péchoux, Mário Silva |
| 2025 | Categorical Continuation Semantics for Concurrency. Flavien Breuvart, Hugo Paquet |
| 2025 | Coherent Tietze Transformations of 1-Polygraphs in Homotopy Type Theory. Samuel Mimram, Émile Oleon |
| 2025 | Combining Generalization Algorithms in Regular Collapse-Free Theories. Mauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2025 | Completeness of the Decreasing Diagrams Method for Proving Confluence of Rewriting Systems of the Least Uncountable Cardinality. Ievgen Ivanov |
| 2025 | Computation First: Rebuilding Constructivism with Effects (Invited Talk). Liron Cohen |
| 2025 | From Partial to Monadic: Combinatory Algebra with Effects. Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. |
| 2025 | Functorial Models of Differential Linear Logic. Marie Kerjean, Valentin Maestracci, Morgan Rogers |
| 2025 | Grading Call-By-Push-Value, Explicitly and Implicitly. Dylan McDermott |
| 2025 | Higher-Dimensional Automata: Extension to Infinite Tracks. Luc Passemard, Amazigh Amrane, Uli Fahrenberg |
| 2025 | Impredicative Encodings of Inductive and Coinductive Types. Steven Bronsveld, Herman Geuvers, Niels van der Weide |
| 2025 | Internal Effectful Forcing in System T. Martín Hötzel Escardó, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2025 | Interpolation as Cut-Introduction: On the Computational Content of Craig-Lyndon Interpolation. Alexis Saurin |
| 2025 | Knowledge Problems vs Unification and Matching: Dichotomy Results. Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2025 | Linear Logic Using Negative Connectives. Dale Miller |
| 2025 | Mechanized Undecidability of Higher-Order Beta-Matching. Andrej Dudenhefner |
| 2025 | Monad Translations for Higher-Order Logic. Thomas Traversié |
| 2025 | Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! Rémy Cerda, Giulio Manzonetto, Alexis Saurin |
| 2025 | On the Metric Nature of (Differential) Logical Relations. Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone |
| 2025 | Quantitative Types for the Functional Machine Calculus. Willem Heijltjes |
| 2025 | Solving Guarded Domain Equations in Presheaves over Ordinals and Mechanizing It. Sergei Stepanenko, Amin Timany |
| 2025 | Substructural Parametricity. C. B. Aberlé, Karl Crary, Chris Martens, Frank Pfenning |
| 2025 | The Cost of Skeletal Call-By-Need, Smoothly. Beniamino Accattoli, Francesco Magliocca, Loïc Peyrot, Claudio Sacerdoti Coen |
| 2025 | The Unification Type of an Equational Theory May Depend on the Instantiation Preorder. Franz Baader, Oliver Fernández Gil |
| 2025 | Unifying Boolean and Algebraic Descriptive Complexity. Baptiste Chanus, Damiano Mazza, Morgan Rogers |
| 2025 | Unsolvable Terms in Filter Models (Invited Talk). Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell |
| 2025 | Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk). Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi |
| 2025 | Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems. Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl, Joost-Pieter Katoen |
| 2025 | What Does It Take to Certify a Conversion Checker? Meven Lennon-Bertrand |
| 2025 | Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2025 | ∞-Categorical Models of Linear Logic. Eliès Harington, Samuel Mimram |