| 2007 | Not Enough Points Is Enough. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2007 | Forest Expressions. | Mikolaj Bojanczyk |
| 2007 | Qualitative Temporal and Spatial Reasoning Revisited. | Manuel Bodirsky, Hubie Chen |
| 2007 | Building Decision Procedures in the Calculus of Inductive Constructions. | Frdric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub |
| 2007 | Lambda Theories of Effective Lambda Models. | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
| 2007 | Proofs, Programs and Abstract Complexity. | Arnold Beckmann |
| 2007 | On Acyclic Conjunctive Queries and Constant Delay Enumeration. | Guillaume Bagan, Arnaud Durand, Etienne Grandjean |
| 2007 | The Symbolic Approach to Repeated Games (Abstract). | Luca de Alfaro |
| 2007 | Relativizing Small Complexity Classes and Their Theories. | Klaus Aehlig, Stephen A. Cook, Phuong Nguyen |
| 2007 | Propositional Logic for Circuit Classes. | Klaus Aehlig, Arnold Beckmann |
| 2007 | Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract). | Samson Abramsky |
| 2007 | Comparing the Expressive Power of Well-Structured Transition Systems. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2006 | Nonmonotonic Logics and Their Algebraic Foundations. | Miroslaw Truszczynski |
| 2006 | Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. | Jir Srba |
| 2006 | Automata and Logics for Words and Trees over an Infinite Alphabet. | Luc Segoufin |
| 2006 | Space-Efficient Computation by Interaction. | Ulrich Schpp |
| 2006 | Satisfiability and Finite Model Property for the Alternating-Time | Sven Schewe, Bernd Finkbeiner |
| 2006 | Separation Logic for Higher-Order Store. | Bernhard Reus, Jan Schwinghammer |
| 2006 | Decidable Theories of the Ordering of Natural Numbers with Unary Predicates. | Alexander Moshe Rabinovich, Wolfgang Thomas |
| 2006 | Church Synthesis Problem with Parameters. | Alexander Moshe Rabinovich |
| 2006 | Acyclicity and Coherence in Multiplicative Exponential Linear Logic. | Michele Pagani |
| 2006 | Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract). | C.-H. Luke Ong |
| 2006 | Normalization of IZF with Replacement. | Wojciech Moczydlowski |
| 2006 | Functorial Boxes in String Diagrams. | Paul-Andr Mellis |
| 2006 | Hoare Logic in the Abstract. | Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |