| 2005 | The Dimension of a Point: Computability Meets Fractal Geometry. | Jack H. Lutz |
| 2005 | Geometric Software: Robustness Issues and Model of Computation. | Andr Lieutier |
| 2005 | The Low Splitting Theorem in the Difference Hierarchy. | Angsheng Li |
| 2005 | On a Question of Sacks - A Partial Solution on the Positive Side. | Andrew E. M. Lewis |
| 2005 | The Flow of Data and the Complexity of Algorithms. | Lars Kristiansen, Neil D. Jones |
| 2005 | The Small Grzegorczyk Classes and the Typed lambda-Calculus. | Lars Kristiansen, Mathias Barra |
| 2005 | The Power of Mobility: Four Membranes Suffice. | Shankara Narayanan Krishna |
| 2005 | Towards Computability of Higher Type Continuous Data. | Margarita V. Korovina, Oleg V. Kudinov |
| 2005 | Proof Mining in Functional Analysis. | Ulrich Kohlenbach |
| 2005 | Computing a Model of Set Theory. | Peter Koepke |
| 2005 | On the Problems of Definability in the Enumeration Degrees. | Iskander Sh. Kalimullin |
| 2005 | Finite Trees as Ordinals. | Herman Ruge Jervell |
| 2005 | Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory. | Denis R. Hirschfeldt |
| 2005 | Symmetric Enumeration Reducibility. | Charles M. Harris |
| 2005 | Combinatorial Models of Gene Assembly. | Tero Harju |
| 2005 | Infinitary Computability with Infinite Time Turing Machines. | Joel David Hamkins |
| 2005 | Robust Simulations of Turing Machines with Analytic Maps and Flows. | Daniel Silva Graa, Manuel Lameiras Campagnolo, Jorge Buescu |
| 2005 | The Church-Turing Thesis: Breaking the Myth. | Dina Q. Goldin, Peter Wegner |
| 2005 | An Algebraic View on Exact Learning from Queries. | Ricard Gavald |
| 2005 | Fewer Epistemological Challenges for Connectionism. | Artur S. d'Avila Garcez |
| 2005 | Borel Ranks and Wadge Degrees of Context Free omega-Languages. | Olivier Finkel |
| 2005 | Shrad: A Language for Sequential Real Number Computation. | Amin Farjudian |
| 2005 | Computability in Computational Geometry. | Abbas Edalat, Ali Asghar Khanban, Andr Lieutier |
| 2005 | Abstract Geometrical Computation: Turing-Computing Ability and Undecidability. | Jrme Durand-Lose |
| 2005 | Schnorr Dimension. | Rodney G. Downey, Wolfgang Merkle, Jan Reimann |