CADE: Conference on Automated Deduction



Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
CADE 2021 The 28th International Conference on Automated Deduction
Jul 12, 2022 - Jul 12, 2022 Online TBD
CADE 2015 25th International Conference on Automated Deduction
Aug 3, 2015 - Aug 7, 2015 Berlin, Germany Feb 23, 2015 (Feb 16, 2015)
CADE 2011 23rd International Conference on Automated Deduction
Jul 31, 2011 - Aug 5, 2011 Wroclaw, Poland Feb 7, 2011 (Feb 1, 2011)
CADE 2009 22nd International Conference on Automated Deduction
Aug 2, 2009 - Aug 7, 2009 McGill University, Montreal, Canada Feb 23, 2009 (Feb 16, 2009)

Present CFP : 2021

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction, the Skolem Award(s) for influential historical CADE papers, and the new Bill McCune PhD Award, are presented at the conference.

The 28th International Conference on Automated Deduction (CADE-28) will be virtual due to the COVID-19 pandemic. The virtual conference will take place from July 11 to 16, 2021 as originally planned.

Submissions to CADE-28 can be made in two categories: Regular papers (up to 15 pages in LNCS style, excluding references) and short papers (up to 10 pages in LNCS style, excluding references). More information about submission can be found in the joint Call for Papers and Workshops/Tutorials/Competitions.

The authors of a selection of the best CADE-28 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of the Journal of Automated Reasoning.

CADE-28 is organized in cooperation with ACM SIGLOG.

Open Access Proceedings Available
The accepted papers have been published in Lecture Notes in Artificial Intelligence volume 12699 with Open Access (Springer).

CADE-28 Proceedings

All dates are Anywhere on Earth.
Workshops+Tutorials: July 11 and 16, 2021
Conference: July 12 - 15, 2021

Papers must be submitted to the CADE-28 track via EasyChair.
All papers must include the ORCID ids of authors (at least the corresponding author).

Abstract deadline: February 15, 2021
Submission deadline: February 22, 2021 (AoE, no extensions)
Rebuttal phase: March 29 to March 31, 2021
Notification: April 9, 2021
Final version: April 30, 2021

Related Resources

CSL 2025   Computer Science Logic
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
IDEAL 2024   Intelligent Data Engineering and Automated Learning
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
CADE 2024   International Conference on AI and the Digital Economy (CADE)
ICMLSC 2025   9th International Conference on Machine Learning and Soft Computing
ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
ASYDE 2024   6th International Workshop on Automated and verifiable Software sYstem DEvelopment
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty