| 2006 | Variables as Resource in Hoare Logics. | Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |
| 2006 | Fixed-Parameter Hierarchies inside PSPACE. | Guoqiang Pan, Moshe Y. Vardi |
| 2006 | On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. | Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Bjrn Victor |
| 2006 | The Boundedness Problem for Monadic Universal First-Order Logic. | Martin Otto |
| 2006 | On Model-Checking Trees Generated by Higher-Order Recursion Schemes. | C.-H. Luke Ong |
| 2006 | Boolean Algebras for Lambda Calculus. | Giulio Manzonetto, Antonino Salibra |
| 2006 | Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. | Alexis Maciel, Toniann Pitassi |
| 2006 | Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic. | Daniel Leivant |
| 2006 | Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. | Olivier Laurent, Lorenzo Tortora de Falco |
| 2006 | Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. | Sren B. Lassen |
| 2006 | A Characterisation of First-Order Constraint Satisfaction Problems. | Benot Larose, Cynthia Loten, Claude Tardif |
| 2006 | Context Semantics, Linear Logic and Computational Complexity. | Ugo Dal Lago |
| 2006 | Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. | Dietrich Kuske, Markus Lohrey |
| 2006 | Memoryful Branching-Time Logic. | Orna Kupferman, Moshe Y. Vardi |
| 2006 | Avoiding Determinization. | Orna Kupferman |
| 2006 | Coinductive Proof Principles for Stochastic Processes. | Dexter Kozen |
| 2006 | On Tractability and Congruence Distributivity. | Emil W. Kiss, Matthew Valeriote |
| 2006 | An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. | Vineet Kahlon, Aarti Gupta |
| 2006 | Independence and Concurrent Separation Logic. | Jonathan Hayman, Glynn Winskel |
| 2006 | Provable Implementations of Security Protocols. | Andrew D. Gordon |
| 2006 | Approximate Satisfiability and Equivalence. | Eldar Fischer, Frdric Magniez, Michel de Rougemont |
| 2006 | A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. | Marcelo P. Fiore, Sam Staton |
| 2006 | LTL with the Freeze Quantifier and Register Automata. | Stphane Demri, Ranko Lazic |
| 2006 | Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gdel's Impact on Logic, Mathematics, and Computer Science. | John W. Dawson |
| 2006 | Approximation Schemes for First-Order Definable Optimisation Problems. | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |