| 2005 | A Logic of Coequations. Jirí Adámek |
| 2005 | A Propositional Proof System for Log Space. Steven Perron |
| 2005 | A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. Shin-ya Katsumata |
| 2005 | An Abstract Strong Normalization Theorem. Ulrich Berger |
| 2005 | An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. Ashish Tiwari |
| 2005 | Bounded Model Checking of Pointer Programs. Witold Charatonik, Lilia Georgieva, Patrick Maier |
| 2005 | Clemens Lautemann: 1951-2005 Johann A. Makowsky |
| 2005 | Closure Properties of Weak Systems of Bounded Arithmetic. Antonina Kolokolova |
| 2005 | Complexity and Intensionality in a Type-1 Framework for Computable Analysis. Branimir Lambov |
| 2005 | Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings C.-H. Luke Ong |
| 2005 | Computing with Sequences, Weak Topologies and the Axiom of Choice. Vasco Brattka, Matthias Schröder |
| 2005 | Confluence of Shallow Right-Linear Rewrite Systems. Guillem Godoy, Ashish Tiwari |
| 2005 | Coprimality in Finite Models. Marcin Mostowski, Konrad Zdanowski |
| 2005 | Decidability of Term Algebras Extending Partial Algebras. Bakhadyr Khoussainov, Sasha Rubin |
| 2005 | Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations. Frédéric Blanqui |
| 2005 | Distributed Control Flow with Classical Modal Logic. Tom Murphy VII, Karl Crary, Robert Harper |
| 2005 | Feasible Proofs of Matrix Properties with Csanky's Algorithm. Michael Soltys |
| 2005 | Focusing the Inverse Method for Linear Logic. Kaustuv Chaudhuri, Frank Pfenning |
| 2005 | From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. Hubie Chen, Víctor Dalmau |
| 2005 | Higher-Order Matching and Games. Colin Stirling |
| 2005 | Identifying Polynomial-Time Recursive Functions. Carsten Schürmann, Jatin Shah |
| 2005 | L-Nets, Strategies and Proof-Nets. Pierre-Louis Curien, Claudia Faggian |
| 2005 | Light Functional Interpretation. Mircea-Dan Hernest |
| 2005 | Note on Formal Analogical Reasoning in the Juridical Context. Matthias Baaz |
| 2005 | On Bunched Polymorphism. Matthew Collinson, David J. Pym, Edmund Robinson |
| 2005 | On Deciding Topological Classes of Deterministic Tree Languages. Filip Murlak |
| 2005 | On the Complexity of Hybrid Logics with Binders. Balder ten Cate, Massimo Franceschet |
| 2005 | On the Role of Type Decorations in the Calculus of Inductive Constructions. Bruno Barras, Benjamin Grégoire |
| 2005 | Order Structures on Böhm-Like Models. Paula Severi, Fer-Jan de Vries |
| 2005 | PDL with Intersection and Converse Is Decidable. Carsten Lutz |
| 2005 | Permutative Logic. Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet |
| 2005 | Results on the Guarded Fragment with Equivalence or Transitive Relations. Emanuel Kieronski |
| 2005 | The Ackermann Award 2005. Erich Grädel, Janos Makowsky, Alexander A. Razborov |
| 2005 | The Complexity of Independence-Friendly Fixpoint Logic. Julian C. Bradfield, Stephan Kreutzer |
| 2005 | The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic. Bruno Courcelle, Christian Delhommé |
| 2005 | Towards a Characterization of Order-Invariant Queries over Tame Structures. Michael Benedikt, Luc Segoufin |
| 2005 | Towards a Typed Geometry of Interaction. Esfandiar Haghverdi, Philip J. Scott |
| 2005 | Transfinite Extension of the Mu-Calculus. Julian C. Bradfield, Jacques Duparc, Sandra Quickert |
| 2005 | Verification in Predicate Logic with Time: Algorithmic Questions. Anatol Slissenko |
| 2005 | XML Navigation and Tarski's Relation Algebras. Maarten Marx |