| 2007 | A Cut-Free and Invariant-Free Sequent Calculus for PLTL. Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
| 2007 | A Games Model of Bunched Implications. Guy McCusker, David J. Pym |
| 2007 | A Soft Type Assignment System for Marco Gaboardi, Simona Ronchi Della Rocca |
| 2007 | Bad Variables Under Control. Andrzej S. Murawski |
| 2007 | Building Decision Procedures in the Calculus of Inductive Constructions. Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
| 2007 | Classical Program Extraction in the Calculus of Constructions. Alexandre Miquel |
| 2007 | Classical and Intuitionistic Logic Are Asymptotically Identical. Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc |
| 2007 | Clique-Width and Parity Games. Jan Obdrzálek |
| 2007 | Comparing the Expressive Power of Well-Structured Transition Systems. Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2007 | Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings Jacques Duparc, Thomas A. Henzinger |
| 2007 | Continuous Previsions. Jean Goubault-Larrecq |
| 2007 | Correctness of Multiplicative (and Exponential) Proof Structures is Paulin Jacobé de Naurois, Virgile Mogbil |
| 2007 | Focusing and Polarization in Intuitionistic Logic. Chuck C. Liang, Dale Miller |
| 2007 | Forest Expressions. Mikolaj Bojanczyk |
| 2007 | From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. Dale Miller, Alexis Saurin |
| 2007 | Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract). Samson Abramsky |
| 2007 | Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. Alexander Hertel, Alasdair Urquhart |
| 2007 | Incorporating Tables into Proofs. Dale Miller, Vivek Nigam |
| 2007 | Integrating Linear Arithmetic into Superposition Calculus. Konstantin Korovin, Andrei Voronkov |
| 2007 | Lambda Theories of Effective Lambda Models. Chantal Berline, Giulio Manzonetto, Antonino Salibra |
| 2007 | Linear Realizability. Naohiko Hoshino |
| 2007 | Logical Refinements of Church's Problem. Alexander Rabinovich, Wolfgang Thomas |
| 2007 | MSO on the Infinite Binary Tree: Choice and Order. Arnaud Carayol, Christof Löding |
| 2007 | Model-Checking First-Order Logic: Automata and Locality. Anuj Dawar |
| 2007 | Not Enough Points Is Enough. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2007 | Omega-Regular Half-Positional Winning Conditions. Eryk Kopczynski |
| 2007 | On Acyclic Conjunctive Queries and Constant Delay Enumeration. Guillaume Bagan, Arnaud Durand, Etienne Grandjean |
| 2007 | On the Complexity of Reasoning About Dynamic Policies. Stefan Göller |
| 2007 | Precise Relational Invariants Through Strategy Iteration. Thomas Gawlitza, Helmut Seidl |
| 2007 | Proofs, Programs and Abstract Complexity. Arnold Beckmann |
| 2007 | Propositional Logic for Circuit Classes. Klaus Aehlig, Arnold Beckmann |
| 2007 | Qualitative Temporal and Spatial Reasoning Revisited. Manuel Bodirsky, Hubie Chen |
| 2007 | Relativizing Small Complexity Classes and Their Theories. Klaus Aehlig, Stephen A. Cook, Phuong Nguyen |
| 2007 | Satisfiability of a Spatial Logic with Tree Variables. Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
| 2007 | Structure Theorem and Strict Alternation Hierarchy for FO Philipp Weis, Neil Immerman |
| 2007 | Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. Yijia Chen, Jörg Flum |
| 2007 | The Ackermann Award 2007. Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski |
| 2007 | The Power of Counting Logics on Restricted Classes of Finite Structures. Anuj Dawar, David Richerby |
| 2007 | The Symbolic Approach to Repeated Games (Abstract). Luca de Alfaro |
| 2007 | The Theory of Calculi with Explicit Substitutions Revisited. Delia Kesner |
| 2007 | There Exist Some Olivier Finkel, Dominique Lecomte |
| 2007 | Tightening the Exchange Rates Between Automata. Orna Kupferman |
| 2007 | Typed Normal Form Bisimulation. Søren B. Lassen, Paul Blain Levy |
| 2007 | Unbounded Proof-Length Speed-Up in Deduction Modulo. Guillaume Burel |