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:
- the number of problems solved, and
- the number of problems solved with a solution output, and
- the average runtime for problems solved;
in the context of:
- a bounded number of eligible problems, chosen from the
TPTP Problem Library, and
- a specified time limit for each solution attempt.
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