30th CADE ATP System Competition ... Live!
5 views
Skip to first unread message
Geoff Sutcliffe
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
... 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