The 18th International Conference on Automated Deduction
Copenhagen, Denmark, 27-30 July 2002 as part of FLoC'02.
The CADE conferences are the major forum for the presentation of new research in all aspects of automated deduction. In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-18 ATP System Competition (CASC-18) was held on 28th July 2002. CASC evaluates the performance of sound, fully automatic, classical 1st order ATP systems. The evaluation is in terms of:
|System registration for CASC-18 closed on 28th June 2002|
Deadlines and Important Dates
Follow these links to:
Department of Computer Science,
University of Manchester