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, and is brought to you by TAG. The conference programme will include invited talks, paper presentations, workshops, tutorials, and system competitions from important organizations. 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.

Invited Speakers of the CADE-25 Jubilee Session on the Past, Present and Future of Automated Deduction:
  • 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 http://www.cade-25.info 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.