| 2005 | On Locality and Uniform Reduction. | Hannu Niemist |
| 2005 | Recursive Polymorphic Types and Parametricity in an Operational Framework. | Paul-Andr Mellis, Jerome Vouillon |
| 2005 | Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic. | Paul-Andr Mellis |
| 2005 | Herbrand Constraint Abduction. | Michael J. Maher |
| 2005 | Model-Checking Hierarchical Structures. | Markus Lohrey |
| 2005 | A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. | Jrme Leroux |
| 2005 | Eager Normal Form Bisimulation. | Sren B. Lassen |
| 2005 | Constructing Free Boolean Categories. | Franois Lamarche, Lutz Straburger |
| 2005 | The Geometry of Linear Higher-Order Recursion. | Ugo Dal Lago |
| 2005 | Closure Properties of Coalgebra Automata. | Clemens Kupke, Yde Venema |
| 2005 | Small Substructures and Decidability Issues for First-Order Logic with Two Variables. | Emanuel Kieronski, Martin Otto |
| 2005 | Certifying Compilation for a Language with Stack Allocation. | Limin Jia, Frances Spalding, David Walker, Neal Glew |
| 2005 | An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. | Kohei Honda, Nobuko Yoshida, Martin Berger |
| 2005 | Proof-Theoretic Approach to Description-Logic. | Martin Hofmann |
| 2005 | Process Algebras for Quantitative Analysis. | Jane Hillston |
| 2005 | Relational Parametricity and Control. | Masahito Hasegawa |
| 2005 | Proof Theory for Kleene Algebra. | Chris Hardin |
| 2005 | Looping Caterpillars. | Evan Goris, Maarten Marx |
| 2005 | Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. | Patrice Godefroid, Michael Huth |
| 2005 | Logic and Systems Biology. | Walter Fontana |
| 2005 | Uniform Distributed Synthesis. | Bernd Finkbeiner, Sven Schewe |
| 2005 | Tarski's Influence on Computer Science. | Solomon Feferman |
| 2005 | Ludics Nets, a game Model of Concurrent Interaction. | Claudia Faggian, Franois Maurel |
| 2005 | Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances. | Javier Esparza, Antonn Kucera, Richard Mayr |
| 2005 | Operational Domain Theory and Topology of a Sequential Programming Language. | Martn Htzel Escard, Weng Kin Ho |