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 includes 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 is presented at the conference. Moreover, to celebrate its 25th edition, CADE-25 includes a Special Session on the Past, Present and Future of Automated Deduction. Renowned scientists from leading universities have agreed to give invited lectures at CADE-25.

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

The CADE-25 poster is available to download. Students who want to attend CADE-25 may apply for the 
Woody Bledsoe Student Travel Awards.

CADE-25 accepted papers: please see here.

Invited Speakers of the CADE-25 Special Session on the Past, Present and Future of Automated Deduction (supported by the German Research Foundation, DFG):
Invited Speakers at CADE-25 main conference:
Joint Speaker with RuleML Symposium:
Reception and Dinner speakers: Wolfgang Bibel and Jörg Siekmann.

Become a volunteer at CADE-25

In order to support the organisation of CADE-25, we are seeking volunteers to help on 2-3 days between August 1 and 7. The duties of the volunteers are to assist the CADE-25 organisation team. In return, the volunteers will receive free registration and access to all scientific events of CADE-25, including tutorials, workshops and the main conference itself.

Details on CADE-25 Volunteering can be found at the Call for Volunteers section.

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):  Special 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 6, 2015 (late afternoon):  Business Meeting
Further information can be found at the Program section.
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, DFG, the Artificial Intelligence Journal and Microsoft Research. The CADE-25 proceedings will be published by Springer in the LNAI series.