| 2006 | 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings |
| 2006 | 3-Valued Abstraction: More Precision at Less Cost. Sharon Shoham, Orna Grumberg |
| 2006 | A Characterisation of First-Order Constraint Satisfaction Problems. Benoît Larose, Cynthia Loten, Claude Tardif |
| 2006 | A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. Marcelo P. Fiore, Sam Staton |
| 2006 | A Proof of Strong Normalisation using Domain Theory. Thierry Coquand, Arnaud Spiwack |
| 2006 | Adapting Logics. Andreas Blass |
| 2006 | An Abstraction-Refinement Framework for Multi-Agent Systems. Thomas Ball, Orna Kupferman |
| 2006 | An Automata-Theoretic Approach for Model Checking Threads for LTL Propert. Vineet Kahlon, Aarti Gupta |
| 2006 | Approximate Satisfiability and Equivalence. Eldar Fischer, Frédéric Magniez, Michel de Rougemont |
| 2006 | Approximation Schemes for First-Order Definable Optimisation Problems. Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
| 2006 | Avoiding Determinization. Orna Kupferman |
| 2006 | Boolean Algebras for Lambda Calculus. Giulio Manzonetto, Antonino Salibra |
| 2006 | Bounds in w-Regularity. Mikolaj Bojanczyk, Thomas Colcombet |
| 2006 | Coinductive Proof Principles for Stochastic Processes. Dexter Kozen |
| 2006 | Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. Alexis Maciel, Toniann Pitassi |
| 2006 | Conference Organization. |
| 2006 | Context Semantics, Linear Logic and Computational Complexity. Ugo Dal Lago |
| 2006 | Control in o-minimal Hybrid Systems. Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier |
| 2006 | Faster Solutions of Rabin and Streett Games. Nir Piterman, Amir Pnueli |
| 2006 | First Order Formulas with Modular Predicates. Laura Chaubard, Jean-Eric Pin, Howard Straubing |
| 2006 | Fixed-Parameter Hierarchies inside PSPACE. Guoqiang Pan, Moshe Y. Vardi |
| 2006 | Foreward. |
| 2006 | Formal Verification of Infinite State Systems Using Boolean Methods. Randal E. Bryant |
| 2006 | From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. Nir Piterman |
| 2006 | Head Normal Form Bisimulation for Pairs and the \lambda\mu-Calculus. Søren B. Lassen |
| 2006 | Independence and Concurrent Separation Logic. Jonathan Hayman, Glynn Winskel |
| 2006 | LTL with the Freeze Quantifier and Register Automata. Stéphane Demri, Ranko Lazic |
| 2006 | Managing Digital Rights using Linear Logic. Adam Barth, John C. Mitchell |
| 2006 | Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic. Daniel Leivant |
| 2006 | Memoryful Branching-Time Logic. Orna Kupferman, Moshe Y. Vardi |
| 2006 | Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. Dietrich Kuske, Markus Lohrey |
| 2006 | Normalisation is Insensible to lambda-Term Identity or Difference. Makoto Tatsuta, Mariangiola Dezani-Ciancaglini |
| 2006 | Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity. Olivier Laurent, Lorenzo Tortora de Falco |
| 2006 | On Model-Checking Trees Generated by Higher-Order Recursion Schemes. C.-H. Luke Ong |
| 2006 | On Tractability and Congruence Distributivity. Emil W. Kiss, Matthew Valeriote |
| 2006 | On Typability for Rank-2 Intersection Types with Polymorphic Recursion. Tachio Terauchi, Alex Aiken |
| 2006 | On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor |
| 2006 | Organizing Committee. |
| 2006 | PSPACE Bounds for Rank-1 Modal Logics. Lutz Schröder, Dirk Pattinson |
| 2006 | Provable Implementations of Security Protocols. Andrew D. Gordon |
| 2006 | Reviewers. |
| 2006 | Saturated Semantics for Reactive Systems. Filippo Bonchi, Barbara König, Ugo Montanari |
| 2006 | Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and Computer Science. John W. Dawson |
| 2006 | Stochastic Games with Branching-Time Winning Objectives. Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera |
| 2006 | Temporal Logics and Model Checking for Fairly Correct Systems. Daniele Varacca, Hagen Völzer |
| 2006 | The Boundedness Problem for Monadic Universal First-Order Logic. Martin Otto |
| 2006 | Two-Variable Logic on Words with Data. Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |
| 2006 | Variables as Resource in Hoare Logics. Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |