CASC-J12

[Geoff Sutcliffe]

Hi TPTP Peeps,

I'm starting to set up CASC-12 to be held at IJCAR in July. The web page is ...

    https://tptp.org/CASC/J12/

... and for developers the key piece of information is the deadline for submitting your system so that it is used for problem rating.

Cheers,

Geoff

[Geoff Sutcliffe]

-------------------------------------------------------------------------------

                 CASC-J12 - The CADE ATP System Competition

                               to be held at

          The 12th International Joint Conference on Automated Reasoning
                      Nancy, France, 1st-6th July 2024

The CADE and IJCAR conferences  are the major forums  for the  presentation of
new research in all aspects of automated deduction.  In order to stimulate ATP
research and system development,  and to expose ATP systems  within and beyond
the ATP community, the CADE ATP System Competition (CASC) is held at each CADE
and  IJCAR conference.  CASC-29 will be held on the TBA July 2024,  during the
12th International Joint Conference on Automated Reasoning.

CASC evaluates  the performance  of sound,  fully automatic,  ATP systems. The
evaluation is in terms of:
  + the number of problems solved with an acceptable solution output, and
  + the average time taken for problems solved;
in the context of:
  + a bounded number of eligible problems, and
  + specified time limits.

The competition organizer is  Geoff Sutcliffe. The competition  is overseen by
a panel of  knowledgeable researchers  who are not participating in the event.
Further details and registration information are available at:
    http://www.tptp.org/CASC/29/

Registration of systems for CASC-J12 is now invited. System registration closes
on 1st June. Please register early so that adequate resources can be allocated.

     DO IT NOW!  DO IT NOW! DO IT NOW!  DO IT NOW! DO IT NOW! DO IT NOW!

-------------------------------------------------------------------------------