| 2006 | A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. | Klaus Aehlig |
| 2006 | The Ackermann Award 2006. | Samson Abramsky, Erich Grdel, Johann A. Makowsky |
| 2006 | Semi-continuous Sized Types and Termination. | Andreas Abel |
| 2005 | Distributed Control Flow with Classical Modal Logic. | Tom Murphy VII, Karl Crary, Robert Harper |
| 2005 | An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. | Ashish Tiwari |
| 2005 | Higher-Order Matching and Games. | Colin Stirling |
| 2005 | Feasible Proofs of Matrix Properties with Csanky's Algorithm. | Michael Soltys |
| 2005 | Verification in Predicate Logic with Time: Algorithmic Questions. | Anatol Slissenko |
| 2005 | Order Structures on Bhm-Like Models. | Paula Severi, Fer-Jan de Vries |
| 2005 | Identifying Polynomial-Time Recursive Functions. | Carsten Schrmann, Jatin Shah |
| 2005 | A Propositional Proof System for Log Space. | Steven Perron |
| 2005 | On Deciding Topological Classes of Deterministic Tree Languages. | Filip Murlak |
| 2005 | Coprimality in Finite Models. | Marcin Mostowski, Konrad Zdanowski |
| 2005 | XML Navigation and Tarski's Relation Algebras. | Maarten Marx |
| 2005 | Clemens Lautemann: 1951-2005 | Johann A. Makowsky |
| 2005 | PDL with Intersection and Converse Is Decidable. | Carsten Lutz |
| 2005 | Complexity and Intensionality in a Type-1 Framework for Computable Analysis. | Branimir Lambov |
| 2005 | Closure Properties of Weak Systems of Bounded Arithmetic. | Antonina Kolokolova |
| 2005 | Results on the Guarded Fragment with Equivalence or Transitive Relations. | Emanuel Kieronski |
| 2005 | Decidability of Term Algebras Extending Partial Algebras. | Bakhadyr Khoussainov, Sasha Rubin |
| 2005 | A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. | Shin-ya Katsumata |
| 2005 | Light Functional Interpretation. | Mircea-Dan Hernest |
| 2005 | Towards a Typed Geometry of Interaction. | Esfandiar Haghverdi, Philip J. Scott |
| 2005 | The Ackermann Award 2005. | Erich Grdel, Janos Makowsky, Alexander A. Razborov |
| 2005 | Confluence of Shallow Right-Linear Rewrite Systems. | Guillem Godoy, Ashish Tiwari |