Compact Overview on all CADE-25 Events

For more information, see also the CADE Conference Booklet containing the program, the schedule and further information about additional events of CADE-25.

Special Session on the Past, Present and Future of Automated Deduction
(August 3, see schedule in the CADE Conference Booklet)

Invited Speakers
Ursula Martin (University of Oxford),
Frank Pfenning (Carnegie Mellon University),
David Plaisted (University of North Carolina at Chapel Hill),
Andrei Voronkov (University of Manchester)

Main Conference (August 4-7; see schedule in the CADE Conference Booklet)

Invited Speakers:
Ulrich Furbach (Universität Koblenz),
Edward Zalta (Stanford University),
Michael Genesereth (Stanford University, joint invited speaker with RuleML)

Award Ceremonies (August 4, see schedule in the CADE Conference Booklet)

Herbrand Award and Skolem Award 

Competitions (see schedule in the CADE Conference Booklet)

Workshops (see schedule in the CADE Conference Booklet; a joint call for papers for the CADE-25 workshops is available here.)

Tutorials (see schedule in the CADE Conference Booklet)

Poster Event

Collocated Events (the local organizer of these collocated events is Adrian Paschke)

Further Affiliated Events 

  • ISR 2015: The International School on Rewriting, Leipzig (August 10-14)