Skip to main content

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

  • Conference proceedings
  • Open Access
  • © 2021

You have full access to this open access Conference proceedings


  • This book is open access, which means that you have free and unlimited access

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CADE 2021.

Buy print copy

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (38 papers)

  1. Invited Talks

  2. Logical Foundations

  3. Theory and Principles

Other volumes

  1. Automated Deduction – CADE 28


About this book

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.

The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Editors and Affiliations

  • Carnegie Mellon University, Pittsburgh, USA

    André Platzer

  • University of Miami, Coral Gables, USA

    Geoff Sutcliffe

Bibliographic Information

Publish with us