| 2007 | 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings |
| 2007 | A Complete Axiomatization of Knowledge and Cryptography. Mika Cohen, Mads Dam |
| 2007 | A Contraction Method to Decide MSO Theories of Deterministic Trees. Angelo Montanari, Gabriele Puppis |
| 2007 | A Dependent Set Theory. Wojciech Moczydlowski |
| 2007 | A New Efficient Simulation Equivalence Algorithm. Francesco Ranzato, Francesco Tapparo |
| 2007 | A Robust Class of Context-Sensitive Languages. Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
| 2007 | A computable approach to measure and integration theory. Abbas Edalat |
| 2007 | Alternation-free modal mu-calculus for data trees. Marcin Jurdzinski, Ranko Lazic |
| 2007 | Bialgebraic Operational Semantics and Modal Logic. Bartek Klin |
| 2007 | Categorical Combinatorics for Innocent Strategies. Russell Harmer, Martin Hyland, Paul-André Melliès |
| 2007 | Characterising Testing Preorders for Finite Probabilistic Processes. Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |
| 2007 | Complete Sequent Calculi for Induction and Infinite Descent. James Brotherston, Alex Simpson |
| 2007 | Environmental Bisimulations for Higher-Order Languages. Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii |
| 2007 | Examining The Fragments of G. Steven James Perron |
| 2007 | First-Order and Temporal Logics for Nested Words. Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2007 | Full abstraction for nominal general references. Nikos Tzevelekos |
| 2007 | Game Relations and Metrics. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga |
| 2007 | Higher-Order Matching, Games and Automata. Colin Stirling |
| 2007 | Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe |
| 2007 | Infinite State AMC-Model Checking for Cryptographic Protocols. Detlef Kähler, Ralf Küsters, Tomasz Truderung |
| 2007 | Infinite sets that admit fast exhaustive search. Martín Hötzel Escardó |
| 2007 | Light Logics and Optimal Reduction: Completeness and Complexity. Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
| 2007 | Limits of Multi-Discounted Markov Decision Processes. Hugo Gimbert, Wieslaw Zielonka |
| 2007 | Lindstrom theorems for fragments of first-order logic. Balder ten Cate, Johan van Benthem, Jouko A. Väänänen |
| 2007 | Local Action and Abstract Separation Logic. Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
| 2007 | Locally Excluding a Minor. Anuj Dawar, Martin Grohe, Stephan Kreutzer |
| 2007 | Modified Realizability Interpretation of Classical Linear Logic. Paulo Oliva |
| 2007 | Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. Andreas Abel, Thierry Coquand, Peter Dybjer |
| 2007 | On Noetherian Spaces. Jean Goubault-Larrecq |
| 2007 | Pi-Calculus in Logical Form. Marcello M. Bonsangue, Alexander Kurz |
| 2007 | Principles of Superdeduction. Paul Brauner, Clément Houtmann, Claude Kirchner |
| 2007 | Quantified Equality Constraints. Manuel Bodirsky, Hubie Chen |
| 2007 | Reflections on Finite Model Theory. Phokion G. Kolaitis |
| 2007 | Relational Parametricity for Computational Effects. Rasmus Ejlers Møgelberg, Alex Simpson |
| 2007 | Resource modalities in game semantics. Paul-André Melliès, Nicolas Tabareau |
| 2007 | Separating DAG-Like and Tree-Like Proof Systems. Phuong Nguyen |
| 2007 | Some Methods of Problem Solving in Elementary Geometry. Thomas C. Hales |
| 2007 | Static Name Control for FreshML. François Pottier |
| 2007 | Stratified Bounded Affine Logic for Logarithmic Space. Ulrich Schöpp |
| 2007 | Strong Normalization as Safe Interaction. Colin Riba |
| 2007 | Symmetric Datalog and Constraint Satisfaction Problems in Logspace. László Egri, Benoît Larose, Pascal Tesson |
| 2007 | The Complexity of Proving the Discrete Jordan Curve Theorem. Phuong Nguyen, Stephen A. Cook |
| 2007 | The Cost of Punctuality. Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell |
| 2007 | Tractability and learnability arising from algebras with few subpowers. Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard |
| 2007 | Two-way unary temporal logic over trees. Mikolaj Bojanczyk |