![]() |
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
All CFPs on WikiCFP | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
Present CFP : 2021 | ||||||||||||||||||||||||||||||||
Home
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 Dates All dates are Anywhere on Earth. Events Workshops+Tutorials: July 11 and 16, 2021 Conference: July 12 - 15, 2021 Papers 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 | ||||||||||||||||||||||||||||||||
|