| 2015 | Universality in Molecular and Cellular Computing. | Sergey Verlan |
| 2015 | Kalmr and Pter: Undecidability as a Consequence of Incompleteness. | Mt Szab |
| 2015 | On Computability of Navier-Stokes' Equation. | Shu-Ming Sun, Ning Zhong, Martin Ziegler |
| 2015 | Degrees of Unsolvability: A Tutorial. | Stephen G. Simpson |
| 2015 | Towards the Effective Descriptive Set Theory. | Victor L. Selivanov |
| 2015 | Computing Equality-Free String Factorisations. | Markus L. Schmid |
| 2015 | Newton's Forward Difference Equation for Functions from Words to Words. | Jean-ric Pin |
| 2015 | Completely Regular Bishop Spaces. | Iosif Petrakis |
| 2015 | Unconventional Computing: Do We Dream Too Much? | Gheorghe Paun |
| 2015 | Iterative Forcing and Hyperimmunity in Reverse Mathematics. | Ludovic Patey |
| 2015 | Local Compactness for Computable Polish Metric Spaces is \varPi ^1_1 Π 1 1 -complete. | Andr Nies, Slawomir Solecki |
| 2015 | On Distributed Monitoring and Synthesis. | Anca Muscholl |
| 2015 | On the Computational Content of Termination Proofs. | Georg Moser, Thomas Powell |
| 2015 | How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems. | Jeroen Van der Meeren, Andreas Weiermann |
| 2015 | A Note on the Computable Categoricity of \ell ^p ℓ p Spaces. | Timothy H. McNicholl |
| 2015 | Prefix and Right-Partial Derivative Automata. | Eva Maia, Nelma Moreira, Rogrio Reis |
| 2015 | Decidability of Termination Problems for Sequential P Systems with Active Membranes. | Michal Kovc |
| 2015 | Rice's Theorem in Effectively Enumerable Topological Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2015 | Covering the Recursive Sets. | Bjrn Kjos-Hanssen, Frank Stephan, Sebastiaan A. Terwijn |
| 2015 | Turing Jumps Through Provability. | Joost J. Joosten |
| 2015 | Weighted Automata on Infinite Words in the Context of Attacker-Defender Games. | Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov |
| 2015 | A New Approach to the Paperfolding Sequences. | Daniel Goc, Hamoon Mousavi, Luke Schaeffer, Jeffrey O. Shallit |
| 2015 | Randomness and Differentiability of Convex Functions. | Alex Galicki |
| 2015 | Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA. | Makoto Fujiwara |
| 2015 | Nonexistence of Minimal Pairs in L[d]. | Chengling Fang, Jiang Liu, Guohua Wu, Mars M. Yamaleev |