CADE 2021 : International Conference on Automated Deduction
in Conferences Posted on December 21, 2020Conference Information
Submission Deadline | Monday 15 Feb 2021 |
Proceedings indexed by : ![]() |
Conference Dates | Jul 11, 2021 - Jul 16, 2021 | |
Conference Address |
Online, Online ![]() |
|
Conference & Submission Link | https://www.cs.cmu.edu/~mheule/CADE28/ |
Conference Organizers : ( Deadline extended ? Click here to edit
)

Conference Ranking & Metrics (This is a TOP Conference)
|
|
Proceedings | https://link.springer.com/conference/cade |
DBLP Page | https://dblp.uni-trier.de/db/conf/case |
Conference Call for Papers
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 and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.
Other Conferences in Online
![]() |
HLPP 2021 : International Symposium on High-Level Parallel Programming and Applications |
Deadline : Sun 11 Apr 2021 |
|
Jul 12, 2021 - Jul 13, 2021 - Online
|
![]() |
![]() |
LANMAN 2021 : IEEE International Symposium on Local and Metropolitan Area Networks |
Deadline : Mon 12 Apr 2021 |
|
Jul 12, 2021 - Jul 14, 2021 - Online
|
![]() |
![]() |
ISWC 2021 : International Semantic Web Conference |
Deadline : Mon 12 Apr 2021 |
|
Oct 24, 2021 - Oct 28, 2021 - Online
|
![]() |
![]() |
DBSec 2021 : IFIP Annual Conference on Data and Applications Security and Privacy |
Deadline : Mon 12 Apr 2021 |
|
Jul 19, 2021 - Jul 20, 2021 - Online
|
![]() |
![]() |
ASSETS 2021 : International ACM SIGACCESS Conference on Computers and Accessibility |
Deadline : Wed 14 Apr 2021 |
|
Oct 18, 2021 - Oct 22, 2021 - Online
|
![]() |