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
  17. Matthew Fredrikson, Mihai Christodorescu, Somesh Jha
    Pages 252-267
  18. Didier Galmiche, Daniel Méry
    Pages 268-282
  19. Volker Haarslev, Roberto Sebastiani, Michele Vescovi
    Pages 283-298
  20. Kryštof Hoder, Andrei Voronkov
    Pages 299-314
  21. Matthias Horbach
    Pages 315-330
  22. Matthias Horbach
    Pages 331-337
  23. Dejan Jovanović, Leonardo de Moura
    Pages 338-353
  24. Pavel Klinov, Bijan Parsia
    Pages 354-368
  25. Konstantin Korovin, Andrei Voronkov
    Pages 369-383
  26. Laura Kovács, Georg Moser, Andrei Voronkov
    Pages 384-399
  27. Ali Sinan Köksal, Viktor Kuncak, Philippe Suter
    Pages 400-406
  28. Zhiqiang Liu, Christopher Lynch
    Pages 407-421
  29. Lars Noschinski, Fabian Emmes, Jürgen Giesl
    Pages 422-438
  30. Étienne Payet, Fausto Spoto
    Pages 439-445
  31. Thomas Wies, Marco Muñiz, Viktor Kuncak
    Pages 476-491
  32. Sarah Winkler, Aart Middeldorp
    Pages 492-498
  33. Harald Zankl, Bertram Felgenhauer, Aart Middeldorp
    Pages 499-505
  34. Back Matter

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 Computer Science (R0)
  • Print ISBN 978-3-642-22437-9
  • Online ISBN 978-3-642-22438-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences