The 19th International Conference on Automated Deduction
Miami, USA, 28th July - 2nd August 2003
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-19 ATP System Competition (CASC-19) will be held on 31st July 2003. CASC evaluates the performance of sound, fully automatic, classical 1st order ATP systems. The evaluation is in terms of:
Register your system as early as possible, so that the organizers can
ensure that sufficient resources are available.
Do it as soon as you have read the design and organization information.
Deadlines and Important Dates
Follow these links to:
Department of Computer Science,
University of Manchester