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

TFP 2021 : 22nd Symposium on Trends in Functional Programming

Deadline :
Fri 15 Jan 2021
Feb 17, 2021 - Feb 19, 2021 - Online
Online

WTMC 2021 : 6th International Workshop on Traffic Measurements for Cybersecurity

Deadline :
Fri 15 Jan 2021
May 27, 2021 - May 27, 2021 - Online
Online

MRC 2021 : The 1st International Workshop on Machine Reasoning

Deadline :
Fri 15 Jan 2021
Mar 12, 2021 - Mar 12, 2021 - Online
Online

UMAP 2021 : International Conference on User Modelling, Adaptation, and Personalization

Deadline :
Sun 17 Jan 2021
Jun 21, 2021 - Jun 25, 2021 - Online
Online