The Conference on Automated Deduction (CADE) is the major international forum for presenting research on all aspects of automated deduction.
The 30th International Conference on Automated Deduction (CADE-30) will take place from July 28th to July 31st, 2025 in Stuttgart, Germany, with workshops and satellite events on August 1st and 2nd. The conference program includes invited talks, paper presentations, workshops, tutorials, and system competitions.
Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction, the Skolem Award(s) for influential historical CADE papers, and the Bill McCune PhD Award are presented at the conference.