© 2009

Automated Deduction – CADE-22

22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

  • Renate A. Schmidt
Conference proceedings CADE 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5663)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5663)

Table of contents

  1. Front Matter
  2. Session 1. Invited Talk

  3. Session 2. Combinations and Extensions

    1. Peter Baumgartner, Uwe Waldmann
      Pages 17-34
    2. Maria Paola Bonacina, Christopher Lynch, Leonardo de Moura
      Pages 35-50
    3. Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
      Pages 51-66
  4. Session 3. Minimal Unsatisfiability and Automated Reasoning Support

    1. Éric Grégoire, Bertrand Mazure, Cédric Piette
      Pages 100-115
    2. Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
      Pages 116-130
  5. Session 4. System Descriptions

    1. Carsten Ihlemann, Viorica Sofronie-Stokkermans
      Pages 131-139
    2. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski
      Pages 140-145
    3. Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
      Pages 146-150
    4. Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine
      Pages 151-156
    5. Alex Roederer, Yury Puzis, Geoff Sutcliffe
      Pages 157-162
  6. Session 5. Invited Talk

  7. Session 6. Interpolation and Predicate Abstraction

    1. Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
      Pages 167-182
    2. Amit Goel, Sava Krstić, Cesare Tinelli
      Pages 183-198
    3. Laura Kovács, Andrei Voronkov
      Pages 199-213
    4. Shuvendu K. Lahiri, Shaz Qadeer
      Pages 214-229
  8. Session 7. Resolution-Based Systems for Non-classical Logics

About these proceedings


This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009.

The 27 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 77 submissions. Furthermore, three invited lectures by distinguished experts in the area were included. The papers are organized in topical sections on combinations and extensions, minimal unsatisfiability and automated reasoning support, system descriptions, interpolation and predicate abstraction, resolution-based systems for non-classical logics, termination analysis and constraint solving, rewriting, termination and productivity, models, modal tableaux with global caching, arithmetic.


Action Constraint Extension automated code verification automated deduction automated reasoning computational logics constraint solving decision theory formal methods formal verification hierarchical reasoning hybrid systems logic programming meta

Editors and affiliations

  • Renate A. Schmidt
    • 1
  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences