© 2015

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

  • Amy P. Felty
  • Aart Middeldorp


  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

Conference proceedings CADE 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XXVIII
  2. Past, Present and Future of Automated Deduction

  3. Invited Talks

    1. Front Matter
      Pages 53-53
    2. Ulrich Furbach, Björn Pelzer, Claudia Schon
      Pages 55-72
    3. Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta
      Pages 73-97
  4. Competition Descriptions

    1. Front Matter
      Pages 99-99
    2. Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl
      Pages 101-104
    3. Jürgen Giesl, Frédéric Mesnard, Albert Rubio, René Thiemann, Johannes Waldmann
      Pages 105-108
  5. Rewriting

    1. Front Matter
      Pages 109-109
    2. Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
      Pages 111-126
    3. Kiraku Shintani, Nao Hirokawa
      Pages 127-136
    4. Florent Jacquemard, Yoshiharu Kojima, Masahiko Sakai
      Pages 137-151
    5. José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
      Pages 163-178
  6. Decision Procedures

    1. Front Matter
      Pages 179-179
    2. Andrew Reynolds, Jasmin Christian Blanchette
      Pages 197-213

About these proceedings


This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.

The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.


Abstract interpretation Automated reasoning Complexity Encryption Finite models Higher-order logic Integer arithmetic Linear programming Logical frameworks Modal logic Model checking Model theory Program synthesis Proof automation SAT encoding Software verification Static semantics Tableaux Term rewriting Theorem proving

Editors and affiliations

  • Amy P. Felty
    • 1
  • Aart Middeldorp
    • 2
  1. 1.University of OttawaOttawaCanada
  2. 2.University of InnsbruckInnsbruckAustria

Bibliographic information