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

    1. Lan Zhang, Ullrich Hustadt, Clare Dixon
      Pages 245-260
    2. Michel Ludwig, Ullrich Hustadt
      Pages 261-276
  9. Session 8. Termination Analysis and Constraint Solving

    1. Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio
      Pages 294-305
  10. Session 9. Invited Talk

    1. Mark E. Stickel
      Pages 306-321
  11. Session 10. Rewriting, Termination and Productivity

    1. Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
      Pages 322-338
    2. Martin Korp, Aart Middeldorp
      Pages 339-354
    3. Ştefan Ciobâcă, Stéphanie Delaune, Steve Kremer
      Pages 355-370
    4. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
      Pages 371-387
  12. Session 11. Models

    1. Koen Claessen, Ann Lillieström
      Pages 388-403
    2. Matthias Horbach, Christoph Weidenbach
      Pages 404-420
  13. Session 12. Modal Tableaux with Global Caching

    1. Linh Anh Nguyen, Andrzej Szałas
      Pages 421-436
  14. Session 13. Arithmetic

    1. Bernard Boigelot, Julien Brusten, Jérôme Leroux
      Pages 469-484
    2. André Platzer, Jan-David Quesel, Philipp Rümmer
      Pages 485-501
  15. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-02958-5
  • Online ISBN 978-3-642-02959-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site