The CADE-19 ATP System Competition

will be held at

The 19th International Conference on Automated Deduction
Miami, USA, 28th July - 2nd August 2003


The CADE conferences are the major forum for the presentation of new research in all aspects of automated deduction. In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-19 ATP System Competition (CASC-19) will be held on 31st July 2003. CASC evaluates the performance of sound, fully automatic, classical 1st order ATP systems. The evaluation is in terms of:

in the context of: The competition organizers are Geoff Sutcliffe and Christian Suttner. The competition is overseen by a panel of knowledgeable researchers who are not participating in the event. The panel members are Uli Furbach, Don Loveland, and Jeff Pelletier. If you have any questions about the competition, please email the organizers.


Register your system as early as possible, so that the organizers can ensure that sufficient resources are available.
Do it as soon as you have read the design and organization information.

Deadlines and Important Dates


Follow these links to:


Competition machines supplied by

Department of Computer Science,
University of Manchester