Advertisement

Automated Deduction - CADE-25

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

  • Amy P. Felty
  • Aart Middeldorp

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
  7. Interactive/Automated Theorem Proving and Applications

    1. Front Matter
      Pages 229-229
    2. Thomas Gransden, Neil Walkinshaw, Rajeev Raman
      Pages 246-255
    3. Filip Marić, Predrag Janičić, Marko Maliković
      Pages 256-271
    4. Brigitte Pientka, Andrew Cave
      Pages 272-281
  8. New Techniques for Automating and Sharing Proofs

    1. Front Matter
      Pages 283-283
    2. Kailiang Ji
      Pages 295-310
    3. Mnacho Echenim, Nicolas Peltier, Sophie Tourret
      Pages 311-325
    4. Aleks Kissinger, Vladimir Zamdzhiev
      Pages 326-336
  9. Automating First-Order Logic

    1. Front Matter
      Pages 337-337
    2. Giles Reger, Dmitry Tishkovsky, Andrei Voronkov
      Pages 339-355
    3. Peter Baumgartner, Joshua Bax, Uwe Waldmann
      Pages 367-377
    4. Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, Jakob von Raumer
      Pages 378-388
    5. Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jiří Vyskočil
      Pages 389-398
    6. Giles Reger, Martin Suda, Andrei Voronkov
      Pages 399-415
  10. Combinations

    1. Front Matter
      Pages 417-417
    2. Paula Chocron, Pascal Fontaine, Christophe Ringeissen
      Pages 419-433
    3. Salman Saghafi, Ryan Danas, Daniel J. Dougherty
      Pages 434-449
    4. Vijay D’Silva, Caterina Urban
      Pages 450-464
  11. Hybrid Sytems and Program Synthesis

    1. Front Matter
      Pages 465-465
    2. Ashish Tiwari, Adrià Gascón, Bruno Dutertre
      Pages 482-497
  12. Logics and Systems for Program Verification

    1. Front Matter
      Pages 499-499
    2. Crystal Chang Din, Richard Bubel, Reiner Hähnle
      Pages 517-526
    3. Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, André Platzer
      Pages 527-538
  13. Unification

    1. Front Matter
      Pages 555-555

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-21401-6
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-21400-9
  • Online ISBN 978-3-319-21401-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering