Welcome to CADE-25
- The 25th jubilee edition of the International Conference on Automated Deduction -



The conference will be held from the 1st to 7th of August, 2015 in Berlin at the Freie Universität Berlin.

CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference programme will include invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem award(s) for influential historical CADE papers will be presented at the conference.

For more information on CADE, including a list of previous conferences, see here http://cadeinc.org.

The CADE-25 poster is available to download (
new1new2new3new0).


Invited Speakers (CADE-25 Jubilee Session on the Past, Present and Future of Automated Deduction):
Invited Speakers (CADE-25 main conference):

CADE-25 Preliminary Schedule Proposal (see pdf):
  • Aug 1-3, 2015 (morning):  Workshops and Tutorials
  • Aug 1 or/and Aug 2, 2015: Deduktionstreffen 2015
  • Aug 3, 2015 (afternoon):  Jubilee Session
  • Aug 3, 2015 (evening):  Reception
  • Aug 4-7, 2015:  Main Conference
  • Aug 4, 2015 (late afternoon):  Herbrand Award Ceremony
  • Aug 5, 2015 (afternoon & evening):  Excursion and Dinner
  • Aug 5, 2015 (late afternoon):  Business Meeting
Affiliated or collocated events of CADE-25: The 9th Intl. Web Rule Symposium (RuleML 2015), The International School on Rewriting (ISR 2015), Jahrestreffen der GI-Fachgruppe Deduktionssysteme.


The CADE conference series is sponsored by CADE Inc. In addition, CADE-25 gratefully acknowledges support from Freie Universität Berlin, the Artificial Intelligence Journal and Microsoft Research. The CADE-25 proceedings will be published by Springer in the LNAI series.