| 2008 | Quantitative Separation Logic and Programs with Lists. | Marius Bozga, Radu Iosif, Swann Perarnau |
| 2008 | Certifying a Tree Automata Completion Checker. | Benot Boyer, Thomas Genet, Thomas P. Jensen |
| 2008 | Automated Induction with Constrained Tree Automata. | Adel Bouhoula, Florent Jacquemard |
| 2008 | Canonical Inference for Implicational Systems. | Maria Paola Bonacina, Nachum Dershowitz |
| 2008 | Evaluation of Systems for Higher-order Logic (ESHOL). | Christoph Benzmller, Florian Rabe, Carsten Schrmann, Geoff Sutcliffe |
| 2008 | THF0 - The Core of the TPTP Language for Higher-Order Logic. | Christoph Benzmller, Florian Rabe, Geoff Sutcliffe |
| 2008 | LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). | Christoph Benzmller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke |
| 2008 | A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
| 2008 | Title, Preface, Table of Contents. | Bernhard Beckert, Gerwin Klein |
| 2008 | Compositional Proofs with Symbolic Execution. | Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif |
| 2008 | Preservation of Proof Obligations from Java to the Java Virtual Machine. | Gilles Barthe, Benjamin Grgoire, Mariela Pavlova |
| 2008 | Certificate Translation. | Gilles Barthe |
| 2008 | Automata-Based Axiom Pinpointing. | Franz Baader, Rafael Pealoza |
| 2008 | Automated Implicit Computational Complexity Analysis (System Description). | Martin Avanzini, Georg Moser, Andreas Schnabl |
| 2008 | Mechanized Reasoning for Continuous Problem Domains (Invited Talk). | Rob Arthan |
| 2008 | Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). | Alessandro Armando |
| 2008 | Model Checking for Stability Analysis in Rely-Guarantee Proofs. | Hasan Amjad, Richard Bornat |
| 2007 | System Description: SpassVersion 3.0. | Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic |
| 2007 | System for Automated Deduction (SAD): A Tool for Proof Verification. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich |
| 2007 | Barendregt's Variable Convention in Rule Inductions. | Christian Urban, Stefan Berghofer, Michael Norrish |
| 2007 | MaLARea: a Metasystem for Automated Reasoning in Large Theories. | Josef Urban |
| 2007 | An Incremental Technique for Automata-Based Decision Procedures. | Gulay nel, David Toman |
| 2007 | Logical Interpretation: Static Program Analysis Using Theorem Proving. | Ashish Tiwari, Sumit Gulwani |
| 2007 | Trends and Challenges in Satisfiability Modulo Theories. | Cesare Tinelli |
| 2007 | SRASS - A Semantic Relevance Axiom Selection System. | Geoff Sutcliffe, Yury Puzis |