| 2006 | A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. Klaus Aehlig |
| 2006 | A Sequent Calculus for Type Theory. Stéphane Lengrand, Roy Dyckhoff, James McKinna |
| 2006 | Abstracting Allocation. Nick Benton |
| 2006 | Acyclicity and Coherence in Multiplicative Exponential Linear Logic. Michele Pagani |
| 2006 | Algorithms for Omega-Regular Games with Imperfect Information Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
| 2006 | An Algebraic Point of View on the Crane Beach Property. Clemens Lautemann, Pascal Tesson, Denis Thérien |
| 2006 | Automata and Logics for Words and Trees over an Infinite Alphabet. Luc Segoufin |
| 2006 | Church Synthesis Problem with Parameters. Alexander Moshe Rabinovich |
| 2006 | Collapsibility in Infinite-Domain Quantified Constraint Satisfaction. Manuel Bodirsky, Hubie Chen |
| 2006 | Complete Problems for Higher Order Logics. Lauri Hella, Jose Maria Turull Torres |
| 2006 | Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings Zoltán Ésik |
| 2006 | Concurrent Games with Tail Objectives. Krishnendu Chatterjee |
| 2006 | Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. Alexander Moshe Rabinovich, Wolfgang Thomas |
| 2006 | First-Order Queries over One Unary Function. Arnaud Durand, Frédéric Olive |
| 2006 | Functorial Boxes in String Diagrams. Paul-André Melliès |
| 2006 | Game Quantification on Automatic Structures and Hierarchical Model Checking Games. Lukasz Kaiser |
| 2006 | Hoare Logic in the Abstract. Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |
| 2006 | Infinite State Model-Checking of Propositional Dynamic Logics. Stefan Göller, Markus Lohrey |
| 2006 | Jump from Parallel to Sequential Proofs: Multiplicatives. Paolo Di Giamberardino, Claudia Faggian |
| 2006 | Logical Omniscience Via Proof Complexity. Sergei N. Artëmov, Roman Kuznets |
| 2006 | MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay. Guillaume Bagan |
| 2006 | Nash Equilibrium for Upward-Closed Objectives. Krishnendu Chatterjee |
| 2006 | Nonmonotonic Logics and Their Algebraic Foundations. Miroslaw Truszczynski |
| 2006 | Normalization of IZF with Replacement. Wojciech Moczydlowski |
| 2006 | On Rational Trees. Arnaud Carayol, Christophe Morvan |
| 2006 | On the Expressive Power of Graph Logic. Jerzy Marcinkowski |
| 2006 | Reasoning About States of Probabilistic Sequential Programs. Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
| 2006 | Relating Two Standard Notions of Secrecy. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu |
| 2006 | Satisfiability and Finite Model Property for the Alternating-Time Sven Schewe, Bernd Finkbeiner |
| 2006 | Semi-continuous Sized Types and Termination. Andreas Abel |
| 2006 | Separation Logic for Higher-Order Store. Bernhard Reus, Jan Schwinghammer |
| 2006 | Solving Games Without Determinization. Thomas A. Henzinger, Nir Piterman |
| 2006 | Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract). C.-H. Luke Ong |
| 2006 | Space-Efficient Computation by Interaction. Ulrich Schöpp |
| 2006 | The Ackermann Award 2006. Samson Abramsky, Erich Grädel, Johann A. Makowsky |
| 2006 | The Power of Linear Functions. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
| 2006 | Towards an Implicit Characterization of Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem |
| 2006 | Universal Structures and the Logic of Forbidden Patterns. Florent R. Madelaine |
| 2006 | Universality Results for Models in Locally Boolean Domains. Tobias Löw, Thomas Streicher |
| 2006 | Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic. Vincent Atassi, Patrick Baillot, Kazushige Terui |
| 2006 | Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. Jirí Srba |
| 2006 | Weak Bisimulation Approximants. Will Harwood, Faron Moller, Anton Setzer |