CADE-30
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. The Herbrand Award, Skolem Award(s), and Bill McCune PhD Award are presented at the conference.
About This Conference
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. The Herbrand Award, Skolem Award(s), and Bill McCune PhD Award are presented at the conference.
Tags
Quick Info
Date & Time
Monday, July 28, 2025 - Saturday, August 2, 2025
Location
DHBW Stuttgart
Stuttgart, Germany