Conference on Automated Deduction
Copenhagen, Denmark, July 27-30, 2002

Future link: CADE-19 is at

CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are held since 1996. In 2001, CADE, TABLEAUX, and FTP merged into one conference called the International Joint Conference on Automated Reasoning (IJCAR).

The primary source of CADE-specific information is at which is maintained separately by the CADE-18 organizers. Some of the key data are mirrored and crossreferenced here on the FLoC'02 site for your convenience. If you notice any discrepancies, please notify one of the webmasters.

CADE is sponsored by Safelogic.

Invited speakers

Program Committee

Conference Chair

Reiner Hähnle <>
Chalmers University of Technology
Department of Computing Science
412 96 Gothenburg, SWEDEN

Workshop and Tutorials Chair

Mateja Jamnik <>
Computer Laboratory
University of Cambridge
William Gates Building
J.J. Thomson Avenue
Cambridge, CB3 0FD, England, UK

Publicity Chair

Peter Baumgartner <>
Institut für Informatik
Universität Koblenz-landau
Rheinau 1
D-56075 Koblenz, GERMANY