The CADE ATP system competition

Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journalConference article


Several objectives of the CADE ATP System Competition (CASC) are discussed. The CASC is an evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems. In addition to the primary aim of evaluating the relative capabilities of ATP system, CASC aims to stimulate ATP research in general and to stimulate ATP research towards autonomous systems. It also provide an inspiring environment for personal interaction between ATP researchers and to expose ATP systems both within and beyond the ATP community.

Original languageEnglish (US)
Pages (from-to)490-491
Number of pages2
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
StatePublished - Dec 9 2004
EventSecond International Joint Conference, IJCAR 2004 - Cork, Ireland
Duration: Jul 4 2004Jul 8 2004


ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this