| 2025 | A Point to Set Principle for Finite-State Dimension. Elvira Mayordomo |
| 2025 | Alternation-Bounded Semi-unbounded Fan-in Cascading Circuits and the Complementation Closure Property. Tomoyuki Yamakami |
| 2025 | Binary Expansions of Regular Reals and Reordered Computable Numbers. Peter Hertling, Philip Janicki |
| 2025 | Circuit Metaconstruction in Logspace for Rice-Like Complexity Lower Bounds in ANs and SGRs. Aliénor Goubault-Larrecq, Kévin Perrot |
| 2025 | Completeness Theorems for Modal Logic in Second-Order Arithmetic. Sho Shimomichi, Yuto Takeda, Keita Yokoyama |
| 2025 | Computability of Initial Value Problems. Vasco Brattka, Hendrik Smischliaew |
| 2025 | Computability of Real Functions with Oracle Pointer Machines Implies Real-Time Simulation of Chemical Reaction Networks. Saptarshi Biswas |
| 2025 | Computable Analysis for Extraction of Certified Programs and Its Applications. Holger Thies |
| 2025 | Computably Discrete Represented Spaces. Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti |
| 2025 | Computation with Real Numbers and Continuous-Time Dynamical Systems. Daniel Silva Graça |
| 2025 | Constructive Analysis of Maximal Ideals in $\mathbb {Z}[X]$ by the Material Interpretation. Franziskus Wiesnet |
| 2025 | Crossroads of Computability and Logic: Insights, Inspirations, and Innovations - 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings Arnold Beckmann, Isabel Oitavem, Florin Manea |
| 2025 | Effective Second Countability in Computable Analysis. Vasco Brattka, Emmanuel Rauzy |
| 2025 | Full Generalized Effective Reducibility. Merlin Carl |
| 2025 | Generalized Learnability of Stochastic Principles. Morenikeji Neri, Nicholas Pischke, Thomas Powell |
| 2025 | Injectivity of Polynomials over Finite Discrete Dynamical Systems. Antonio E. Porreca, Marius Rolland |
| 2025 | L Victor L. Selivanov |
| 2025 | Multidimensional Tilings and MSO Logic. Rémi Pallen, Ilkka Törmä |
| 2025 | On Learning Existentially Definable Subsets in a Computable Structure. Nikolay Bazhenov, Manat Mustafa |
| 2025 | On S-Degrees of Some Representations of Irrational Numbers. Ivan Georgiev, Lars Kristiansen |
| 2025 | On the Computational Power of rmC-Random Strings. Alexey Milovanov |
| 2025 | On the Reverse Mathematics of Cut-Elimination and Determinacy. Philipp Provenzano |
| 2025 | Ordinal Invariants of the h-Preorder on k-Labeled Forests. Victor Selivanov, Ilya Smirnov |
| 2025 | Proof-Carrying Neuro-Symbolic Code. Ekaterina Komendantskaya |
| 2025 | Properties of Range Sets of Continuous Functions in Reverse Mathematics. Corrie Ingall |
| 2025 | Represented Spaces of Represented Spaces. Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti |
| 2025 | Some Structural Complexity Results for $\exists {\mathbb {R}}$. Klaus Meer, Adrian Wurm |
| 2025 | Space-Bounded Online Kolmogorov Complexity is Additive. Bruno Bauwens, Maria Marchenko |
| 2025 | The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition. Maria Paola Bonacina |
| 2025 | The Existence of Primitive Recursive Structures. Pavel Alaev |
| 2025 | The Theory of Reachability of Trace-Pushdown Systems. Dietrich Kuske |
| 2025 | Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program. Alejandro Díaz-Caro |
| 2025 | Transfinite Structured Programming. Siddharth Bhaskar |
| 2025 | Uniform Functional Interpretations. Paulo Oliva |
| 2025 | Variants of Solovay Reducibility. Ivan Titov |
| 2025 | Weihrauch Problems as Containers. Cécilia Pradic, Ian Price |