CADE 2021 : International Conference on Automated Deduction

in Conferences   Posted on December 21, 2020 

Conference 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)

Impact Score 1.81
#Contributing Top Scientists 8
#Papers published by Top Scientists 12
Google Scholar H5-index 19
Number of Editions: 28 (Since 1974)
Guide2Research Overall Ranking: 520
Category Rankings
Computational Theory and Mathematics 47
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
Online

LANMAN 2021 : IEEE International Symposium on Local and Metropolitan Area Networks

Deadline :
Mon 12 Apr 2021
Jul 12, 2021 - Jul 14, 2021 - Online
Online

ISWC 2021 : International Semantic Web Conference

Deadline :
Mon 12 Apr 2021
Oct 24, 2021 - Oct 28, 2021 - Online
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
Online

ASSETS 2021 : International ACM SIGACCESS Conference on Computers and Accessibility

Deadline :
Wed 14 Apr 2021
Oct 18, 2021 - Oct 22, 2021 - Online
Online