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


The conference took place 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.

Proceedings and more: please see here.

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 (Darmstadt) and Jörg Siekmann (Saarbrücken).

Welcome Address: Ute Finckh-Krämer (Berlin, SPD, member of German Parliament)


CADE-25 Schedule (see also the conference program in the CADE Conference Booklet)
  • Aug 1-3, 2015 (morning):  Workshops and Tutorials
  • 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):  Excursions and Dinner
  • Aug 6, 2015 (late afternoon):  Business Meeting
Further information (per-day program) 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, Deutsche Forschungsgemeinschaft (DFG), the Artificial Intelligence Journal, Microsoft Research, Berlin Mathematical School, the European Coordinating Committee for Artificial Intelligence, and the City of Berlin. The CADE-25 proceedings are published by Springer in the LNAI series.

CADE-25 announcements: Press Release FU Berlin, Gesellschaft für Informatik, Deutsche Mathematiker Vereinigung, AAR NewsletterIFCoLoG, LOGIC mailing list, Rewriting mailing list, MKM mailing list, many other sites and mailing lists

CADE-25 in the media: Spiegel OnlineHeise.de, Twitter