CALL FOR SYSTEM COMPETITIONS

The CADE ATP Systems Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences.

Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense.

Please provide the following information in your application document:
IMPORTANT DATES

Deadline for proposal submissions:    November
14, 2014
Acceptance/rejection notification:    November
28, 2014

Competitions:                               1 to 7 August, 2015
Conference:                                 3 August (afternoon) to 7 August, 2015

SUBMISSION INSTRUCTIONS


Proposals should be uploaded via

https://www.easychair.org/conferences/?conf=cade25workshopstutor