← All conferences
About the conference
The Conference on Automated Deduction (2027). 22 Aug 2027 to 25 Aug 2027, Nijmegen, Netherlands. Submission: 23 Feb 2027, 11:59 am UTC.
Confirm dates and submission requirements on the official conference website.
Dates to plan around
- abstract
- 16 Feb 2027, 11:59 am UTC
- submission
- 23 Feb 2027, 11:59 am UTC
Date-only deadlines do not imply a closing time. Check the organiser’s timezone and any extensions before submitting.