Related subject: Computer science
The Conference on Automated Deduction
CADE · 2027
Conference call for papers
Conference call for papers
- Category
- Computer science
- Location
- Nijmegen, Netherlands
- Conference dates
- August 22, 2027 – August 25, 2027
Submission deadlines
- Paper deadline
- (Time zone: Etc/GMT+12)
- Abstract deadline
- (Time zone: Etc/GMT+12)
Plan for this conference
Tracking creates a private record for you. It does not send your paper to the conference.