| 2007 | Locally Excluding a Minor. | Anuj Dawar, Martin Grohe, Stephan Kreutzer |
| 2007 | A Complete Axiomatization of Knowledge and Cryptography. | Mika Cohen, Mads Dam |
| 2007 | Lindstrom theorems for fragments of first-order logic. | Balder ten Cate, Johan van Benthem, Jouko A. Vnnen |
| 2007 | Local Action and Abstract Separation Logic. | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
| 2007 | Complete Sequent Calculi for Induction and Infinite Descent. | James Brotherston, Alex Simpson |
| 2007 | Principles of Superdeduction. | Paul Brauner, Clment Houtmann, Claude Kirchner |
| 2007 | The Cost of Punctuality. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, James Worrell |
| 2007 | Pi-Calculus in Logical Form. | Marcello M. Bonsangue, Alexander Kurz |
| 2007 | Two-way unary temporal logic over trees. | Mikolaj Bojanczyk |
| 2007 | Quantified Equality Constraints. | Manuel Bodirsky, Hubie Chen |
| 2007 | Light Logics and Optimal Reduction: Completeness and Complexity. | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
| 2007 | First-Order and Temporal Logics for Nested Words. | Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2007 | Game Relations and Metrics. | Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga |
| 2007 | Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. | Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2006 | Reviewers. | |
| 2006 | Organizing Committee. | |
| 2006 | Conference Organization. | |
| 2006 | Foreward. | |
| 2006 | Temporal Logics and Model Checking for Fairly Correct Systems. | Daniele Varacca, Hagen Vlzer |
| 2006 | On Typability for Rank-2 Intersection Types with Polymorphic Recursion. | Tachio Terauchi, Alex Aiken |
| 2006 | Normalisation is Insensible to lambda-Term Identity or Difference. | Makoto Tatsuta, Mariangiola Dezani-Ciancaglini |
| 2006 | 3-Valued Abstraction: More Precision at Less Cost. | Sharon Shoham, Orna Grumberg |
| 2006 | PSPACE Bounds for Rank-1 Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2006 | Faster Solutions of Rabin and Streett Games. | Nir Piterman, Amir Pnueli |
| 2006 | From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata. | Nir Piterman |