30th CADE ATP System Competition ... Live!

5 views
Skip to first unread message

Geoff Sutcliffe

unread,
Jul 30, 2025, 6:10:47 AMJul 30
to TPTP World
                        The CADE ATP System Competition

                                ... part of ...
             The 30th International Conference on Automated Deduction
                  Stuttgart, Germany, 28th July - 2nd August 2025

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-30 is running now! Watch the reulst unfolding online at ...
    http://tptp.org/CASC/30
Enjoy!

For more information about CASC, see the general CASC page at ...
    http://tptp.org/CASC

Cheers,

Geoff
Reply all
Reply to author
Forward
0 new messages