| 2005 | A Logical Approach to Abstract Algebra. Thierry Coquand |
| 2005 | A Network Model of Analogue Computation over Metric Algebras. John V. Tucker, Jeffery I. Zucker |
| 2005 | A Thread Algebra with Multi-level Strategic Interleaving. Jan A. Bergstra, Cornelis A. Middelburg |
| 2005 | Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. Jérôme Durand-Lose |
| 2005 | Accepting Networks of Splicing Processors. Florin Manea, Carlos Martín-Vide, Victor Mitrana |
| 2005 | An Algebraic View on Exact Learning from Queries. Ricard Gavaldà |
| 2005 | An Environment Aware P-System Model of Quorum Sensing. Germán Terrazas, Natalio Krasnogor, Marian Gheorghe, Francesco Bernardini, Steve Diggle, Miguel Cámara |
| 2005 | Arthur-Merlin Games and the Problem of Isomorphism Testing. Jacobo Torán |
| 2005 | Beyond the Super-Turing Snare: Analog Computation and Digital Virtuality. Giuseppe Trautteur |
| 2005 | Borel Ranks and Wadge Degrees of Context Free omega-Languages. Olivier Finkel |
| 2005 | Categoricity in Restricted Classes. Andrey Morozov |
| 2005 | Combinatorial Models of Gene Assembly. Tero Harju |
| 2005 | Complexity in Predicative Arithmetic. Geoffrey E. Ostrin, Stanley S. Wainer |
| 2005 | Complexity of Continuous Space Machine Operations. Damien Woods, J. Paul Gibson |
| 2005 | Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. Martin Ziegler |
| 2005 | Computability and Discrete Dynamical Systems. Wilfried Sieg |
| 2005 | Computability in Computational Geometry. Abbas Edalat, Ali Asghar Khanban, André Lieutier |
| 2005 | Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory. Denis R. Hirschfeldt |
| 2005 | Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. Ning Zhong |
| 2005 | Computable Analysis. Klaus Weihrauch |
| 2005 | Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees. George Barmpalias |
| 2005 | Computing a Model of Set Theory. Peter Koepke |
| 2005 | Continuous Semantics for Strong Normalization. Ulrich Berger |
| 2005 | Correlation Dimension and the Quality of Forecasts Given by a Neural Network. Krzysztof Michalak, Halina Kwasnicka |
| 2005 | Domain-Theoretic Formulation of Linear Boundary Value Problems. Dirk Pattinson |
| 2005 | FM-Representability and Beyond. Marcin Mostowski, Konrad Zdanowski |
| 2005 | Fewer Epistemological Challenges for Connectionism. Artur S. d'Avila Garcez |
| 2005 | Finite Trees as Ordinals. Herman Ruge Jervell |
| 2005 | Formalising Exact Arithmetic in Type Theory. Milad Niqui |
| 2005 | Geometric Software: Robustness Issues and Model of Computation. André Lieutier |
| 2005 | Hilbert's Tenth Problem and Paradigms of Computation. Yuri V. Matiyasevich |
| 2005 | How to Compare the Power of Computational Models. Udi Boker, Nachum Dershowitz |
| 2005 | Infinitary Computability with Infinite Time Turing Machines. Joel David Hamkins |
| 2005 | Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It. S. Barry Cooper |
| 2005 | Kripke Models, Distributive Lattices, and Medvedev Degrees. Sebastiaan Terwijn |
| 2005 | Membrane Computing - Current Results and Future Problems. Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Germán Terrazas |
| 2005 | Membrane Computing: Power, Efficiency, Applications. Gheorghe Paun |
| 2005 | Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures. Alexandra A. Soskova |
| 2005 | New Algorithmic Paradigms in Exponential Time Algorithms. Uwe Schöning |
| 2005 | New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings S. Barry Cooper, Benedikt Löwe, Leen Torenvliet |
| 2005 | On Some Relations Between Approximation Problems and PCPs over the Real Numbers. Klaus Meer |
| 2005 | On a Question of Sacks - A Partial Solution on the Positive Side. Andrew E. M. Lewis |
| 2005 | On the Problems of Definability in the Enumeration Degrees. Iskander Sh. Kalimullin |
| 2005 | On the Turing Degrees of Divergence Bounded Computable Reals. Robert Rettinger, Xizhong Zheng |
| 2005 | Presentations of K-Trivial Reals and Kolmogorov Complexity. Frank Stephan, Guohua Wu |
| 2005 | Presentations of Structures in Admissible Sets. Alexey Stukachev |
| 2005 | Proof Mining in Functional Analysis. Ulrich Kohlenbach |
| 2005 | Quantum Computing. Harry Buhrman |
| 2005 | Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages. Paola Bonizzoni, Clelia De Felice, Giancarlo Mauri |
| 2005 | Recursion and Complexity. Yiannis N. Moschovakis |
| 2005 | Robust Simulations of Turing Machines with Analytic Maps and Flows. Daniel Silva Graça, Manuel Lameiras Campagnolo, Jorge Buescu |
| 2005 | Schnorr Dimension. Rodney G. Downey, Wolfgang Merkle, Jan Reimann |
| 2005 | Shrad: A Language for Sequential Real Number Computation. Amin Farjudian |
| 2005 | Some Reducibilities on Regular Sets. Victor L. Selivanov |
| 2005 | Symbol Grounding in Connectionist and Adaptive Agent Models. Angelo Cangelosi |
| 2005 | Symmetric Enumeration Reducibility. Charles M. Harris |
| 2005 | The Analogue of Büchi's Problem for Polynomials. Thanases Pheidas, Xavier Vidaux |
| 2005 | The Church-Turing Thesis: Breaking the Myth. Dina Q. Goldin, Peter Wegner |
| 2005 | The Complexity of Inductive Definability. Douglas A. Cenzer, Jeffrey B. Remmel |
| 2005 | The Computational Complexity of One-Dimensional Sandpiles. Peter Bro Miltersen |
| 2005 | The Dimension of a Point: Computability Meets Fractal Geometry. Jack H. Lutz |
| 2005 | The Fan Theorem and Uniform Continuity. Josef Berger |
| 2005 | The Flow of Data and the Complexity of Algorithms. Lars Kristiansen, Neil D. Jones |
| 2005 | The Low Splitting Theorem in the Difference Hierarchy. Angsheng Li |
| 2005 | The Power of Mobility: Four Membranes Suffice. Shankara Narayanan Krishna |
| 2005 | The Small Grzegorczyk Classes and the Typed lambda-Calculus. Lars Kristiansen, Mathias Barra |
| 2005 | The Transfinite Action of 1 Tape Turing Machines. Philip D. Welch |
| 2005 | Towards Computability of Higher Type Continuous Data. Margarita V. Korovina, Oleg V. Kudinov |
| 2005 | Uniform Operators. Ivan N. Soskov |