| 2025 | A Reflection on Task-Oriented Programming. Mart Lubbers, Tim Steenvoorden |
| 2025 | Abstract machines and small-step semantics: a winning ticket for proof automation? Alain Delaët, Sandrine Blazy, Denis Merigoux |
| 2025 | An adequate while-language for stochastic hybrid computation. Renato Neves, José Proença, Juliana Souza |
| 2025 | An interactive type checker for dependent types with general recursion (System Description). Valentin Pasquale, Álvaro García-Pérez |
| 2025 | Closure Conversion, Flat Environments, and the Complexity of Abstract Machines. Beniamino Accattoli, Cláudio Belo Lourenço, Dan R. Ghica, Giulio Guerrieri, Claudio Sacerdoti Coen |
| 2025 | Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages. Ugo Dal Lago |
| 2025 | Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting. Jan-Christoph Kassing, Leon Valentin Spitzer, Jürgen Giesl |
| 2025 | Determinism Types for Functional Logic Programming. Michael Hanus, Kai-Oliver Prott |
| 2025 | Distributed, Coordination-Free Programming: 10 Years of Progress Since Lasp. Christopher Meiklejohn, Peter Van Roy |
| 2025 | Fixture Layout Optimization in Wood Industry: A Case Study. Anna Vitali, Roberto Amadini, Maurizio Gabbrielli |
| 2025 | Folding Narrowing for the Analysis of Mutual Exclusion Protocols. Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2025 | Formalizing Languages with Binding Operators in Rewriting Logic. Maribel Fernández, José Meseguer |
| 2025 | Formalizing Weighted Pushdown Systems in Isabelle/HOL. Anders Schlichtkrull, Morten Konggaard Schou |
| 2025 | Mechanized Type Soundness for Substructural Types using Iris. Robbert Krebbers |
| 2025 | On the Automated Verification of BGP Convergence. Gerald Whitters, Haoyun Qin, Boon Thau Loo, Carolyn L. Talcott |
| 2025 | Operational Game Semantics for Generative Algebraic Effects and Handlers. Hamza Jaafar, Guilhem Jaber |
| 2025 | Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025 Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney |
| 2025 | Realisability and Complementability of Multiparty Session Types. Cinzia Di Giusto, Étienne Lozes, Pascal Urso |
| 2025 | Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations. Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto |
| 2025 | Shallowly Embedded Functions. Benedikt M. Rips, Niek Janssen, Mart Lubbers, Pieter W. M. Koopman |
| 2025 | Transporting Theorems about Typeability in LF Across Schematically Defined Contexts. Chase Johnson, Gopalan Nadathur |