[Prev][Next][Index][Thread]
CADE-14 ATP System Competition Call for Participation
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
-------------------------------------------------------------------------------
The CADE-14 ATP System Competition (CASC-14)
Townsville, Australia
16 July, 1997
CALL FOR PARTICIPATION
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, a competition for 1st order ATP systems will be held at
CADE-14, on Wednesday 16th July 1997.
CASC-14 will evaluate the performance of sound fully automatic ATP
systems. The evaluation will be in terms of the number of problems
solved, and the average time taken for each successful solution; in
the context of a specified CPU time limit for each solution attempt,
and a bounded number of eligible problems, chosen from the TPTP
Problem Library. Information regarding the competition divisions,
problem selection and preparation, time limits and timing, system
execution, performance evaluation, special hardware demonstration
divisions, and the conditions for participation, can be found in the
CASC-14 WWW pages:
http://wwwjessen.informatik.tu-muenchen.de/~tptp/CASC-14/
The competition is being organized by Christian Suttner and Geoff
Sutcliffe. The competition will be overseen by a panel of
knowledgeable researchers who are not participating in the event. It
is planned to publish the competition results in a form that includes
contributions written by entrants.
Registration for participation closes on 15 May 1997. Please fill in
the registration form on the WWW page (or email one of the
organizers). Please register as early as possible (e.g., right away),
so that the organizers can ensure that sufficient resources are
available.
CASC-14 Organizers:
Christian Suttner Geoff Sutcliffe
Institut fuer Informatik Department of Computer Science
TU Muenchen James Cook University
D-80290 Muenchen Townsville, QLD 4811
Germany Australia
Tel: [+49] 89 521098 [+61] 77 815085
FAX: [+49] 89 526502 [+61] 77 814029
Email: suttner@informatik.tu-muenchen.de geoff@cs.jcu.edu.au
-------------------------------------------------------------------------------
The CADE-14 conference itself will be held from Sunday, 13 July, to
Thursday, 17 July, 1997. Further information about CADE-14 can be
obtained from the Local Arrangements Chair or from the CADE-14 WWW
site:
http://www.cs.jcu.edu.au/~cade-14/
CADE-14 Program Chair: CADE-14 Local Arrangements Chair:
William McCune Geoff Sutcliffe
Mathematics and Computer Science Department of Computer Science
Argonne National Laboratory James Cook University
Argonne, IL, 60439-4844 Townsville, QLD 4811
USA Australia
Tel: [+1] 630 2523065 [+61] 77 815085
Fax: [+1] 630 2525986 [+61] 77 814029
Email: cade14-chair@mcs.anl.gov geoff@cs.jcu.edu.au
-------------------------------------------------------------------------------