CADE 20250
The Conference on Automated Deduction 
Acc. Rate: 42.5%(37/87 25') · 44.6%(33/74 23')
DATES
July 28-31, 2025
VENUE
DHBW Stuttgart, Stuttgart, Germany
NEXT DEADLINE INPassed
IMPORTANT DEADLINES
Abstract Submission
Paper Submission
Conference Opening
