The International Conference on Automated Deduction (CADE) is the major international forum for research on all aspects of automated deduction.
The first conference was held in 1974. Early CADEs were mostly biennial, and annual conferences started in 1996. The CADE conference series is managed by CADE Inc., a sub-corporation of the Association for Automated Reasoning (AAR).

EurAI sponsored the 26th edition of CADE (2017, Gothenburg - Sweden)

> CLICK HERE to see other Conferences sponsored by EurAI <