Automated Deduction – CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

  • Maria Paola Bonacina
Conference proceedings CADE 2013

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

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

Table of contents

  1. Front Matter
  2. Jean-Christophe Filliâtre
    Pages 1-20
  3. Radu Iosif, Adam Rogalewicz, Jiri Simacek
    Pages 21-38
  4. Peter Baumgartner, Uwe Waldmann
    Pages 39-57
  5. Abdelkader Kersani, Nicolas Peltier
    Pages 58-75
  6. Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
    Pages 91-108
  7. Noran Azmy, Christoph Weidenbach
    Pages 109-125
  8. Markus Bender, Björn Pelzer, Claudia Schon
    Pages 126-134
  9. Bernhard Beckert, Rajeev Goré, Carsten Schürmann
    Pages 135-144
  10. Natarajan Shankar
    Pages 145-161
  11. Zakaria Chihani, Dale Miller, Fabien Renaud
    Pages 162-177
  12. Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker
    Pages 193-207
  13. Sicun Gao, Soonho Kong, Edmund M. Clarke
    Pages 208-214
  14. Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
    Pages 215-230
  15. Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher A. Lynch, Catherine Meadows et al.
    Pages 231-248
  16. Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
    Pages 249-266
  17. Cezary Kaliszyk, Josef Urban
    Pages 267-274

About these proceedings


This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.


AI logics difference constraints finite models hybrid logic model checking software verification

Editors and affiliations

  • Maria Paola Bonacina
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di VeronaVeronaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38573-5
  • Online ISBN 978-3-642-38574-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book