CADE 20270
The Conference on Automated Deduction 
Acc. Rate: 42.5%(37/87 25') · 44.6%(33/74 23')
DATES
August 22-25, 2027
VENUE
Nijmegen, Netherlands
NEXT DEADLINE IN
IMPORTANT DEADLINES
Abstract Submission Deadline
Paper Submission Deadline
