| 2015 | A New Approach to the Paperfolding Sequences. Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit |
| 2015 | A Note on the Computable Categoricity of \ell ^p ℓ p Spaces. Timothy H. McNicholl |
| 2015 | Base-Complexity Classifications of QCB Matthew de Brecht, Matthias Schröder, Victor L. Selivanov |
| 2015 | Completely Regular Bishop Spaces. Iosif Petrakis |
| 2015 | Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. Felice Cardone |
| 2015 | Computing Equality-Free String Factorisations. Markus L. Schmid |
| 2015 | Covering the Recursive Sets. Bjørn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn |
| 2015 | Decidability of Termination Problems for Sequential P Systems with Active Membranes. Michal Kovác |
| 2015 | Degrees of Unsolvability: A Tutorial. Stephen G. Simpson |
| 2015 | Error and Predicativity. Laura Crosilla |
| 2015 | Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova |
| 2015 | How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems. Jeroen Van der Meeren, Andreas Weiermann |
| 2015 | ITRM I T R M -Recognizability from Random Oracles. Merlin Carl |
| 2015 | Immune Systems in Computer Virology. Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup |
| 2015 | Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA. Makoto Fujiwara |
| 2015 | Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel's Incompleteness Theorems. Mircea Dumitru |
| 2015 | Iterative Forcing and Hyperimmunity in Reverse Mathematics. Ludovic Patey |
| 2015 | Kalmár and Péter: Undecidability as a Consequence of Incompleteness. Máté Szabó |
| 2015 | Local Compactness for Computable Polish Metric Spaces is \varPi ^1_1 Π 1 1 -complete. André Nies, Slawomir Solecki |
| 2015 | New Bounds on Optimal Sorting Networks. Thorsten Ehlers, Mike Müller |
| 2015 | Newton's Forward Difference Equation for Functions from Words to Words. Jean-Éric Pin |
| 2015 | Nonexistence of Minimal Pairs in L[d]. Chengling Fang, Jiang Liu, Guohua Wu, Mars M. Yamaleev |
| 2015 | On Computability of Navier-Stokes' Equation. Shu-Ming Sun, Ning Zhong, Martin Ziegler |
| 2015 | On Distributed Monitoring and Synthesis. Anca Muscholl |
| 2015 | On the Computational Content of Termination Proofs. Georg Moser, Thomas Powell |
| 2015 | P Systems with Parallel Rewriting for Chain Code Picture Languages. Rodica Ceterchi, K. G. Subramanian, Ibrahim Venkat |
| 2015 | Prefix and Right-Partial Derivative Automata. Eva Maia, Nelma Moreira, Rogério Reis |
| 2015 | Prime Model with No Degree of Autostability Relative to Strong Constructivizations. Nikolay Bazhenov |
| 2015 | Randomness and Differentiability of Convex Functions. Alex Galicki |
| 2015 | Rice's Theorem in Effectively Enumerable Topological Spaces. Margarita V. Korovina, Oleg V. Kudinov |
| 2015 | Some Results on Interactive Proofs for Real Computations. Martijn Baartse, Klaus Meer |
| 2015 | Towards the Effective Descriptive Set Theory. Victor L. Selivanov |
| 2015 | Turing Jumps Through Provability. Joost J. Joosten |
| 2015 | Unconventional Computing: Do We Dream Too Much? Gheorghe Paun |
| 2015 | Universality in Molecular and Cellular Computing. Sergey Verlan |
| 2015 | Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov |
| 2015 | Weihrauch Degrees of Finding Equilibria in Sequential Games. Stéphane Le Roux, Arno Pauly |