Automated Deduction – CADE-23

23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

  • Nikolaj Bjørner
  • Viorica Sofronie-Stokkermans
Conference proceedings CADE 2011

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

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

Table of contents

  1. Front Matter
  2. Francesco Alberti, Alessandro Armando, Silvio Ranise
    Pages 26-33
  3. María Alpuente, Demis Ballis, Javier Espert, Daniel Romero
    Pages 34-48
  4. Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
    Pages 49-63
  5. Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi
    Pages 64-69
  6. Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
    Pages 70-84
  7. Peter Baumgartner, Cesare Tinelli
    Pages 85-100
  8. Armin Biere, Florian Lonsing, Martina Seidl
    Pages 101-115
  9. Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson
    Pages 116-130
  10. James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen
    Pages 131-146
  11. Guillaume Burel
    Pages 162-176
  12. Sascha Böhme, Michał Moskal
    Pages 177-191
  13. Alexandros Chortaras, Despoina Trivela, Giorgos Stamou
    Pages 192-206
  14. Koen Claessen, Ann Lillieström, Nicholas Smallbone
    Pages 207-221
  15. David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
    Pages 222-236
  16. Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo
    Pages 237-251

About these proceedings


This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011.
The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.


AI logics computer aided verification formal methods logical reasoning model-based program analysis term rewriting systems termination

Editors and affiliations

  • Nikolaj Bjørner
    • 1
  • Viorica Sofronie-Stokkermans
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Max-Planck-Institut für InformatikSaarbrückenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22437-9
  • Online ISBN 978-3-642-22438-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book