CASC-J12
2 views
Skip to first unread message
Geoff Sutcliffe
Jul 4, 2024, 6:00:55 AM (12 days ago) Jul 4
to TPTP World
The CADE ATP System Competition
... part of ...
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-J12 is running now! Watch the reulst unfolding online at ...
http://tptp.org/CASC/J12/RealTimeResults.html
Enjoy!
For more information about CASC, see the general CASC page at ...
http://tptp.org/CASC
... part of ...
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-J12 is running now! Watch the reulst unfolding online at ...
http://tptp.org/CASC/J12/RealTimeResults.html
Enjoy!
For more information about CASC, see the general CASC page at ...
http://tptp.org/CASC
Reply all
Reply to author
Forward
0 new messages