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
![]() |
TFP 2021 : 22nd Symposium on Trends in Functional Programming |
Deadline : Fri 15 Jan 2021 |
|
Feb 17, 2021 - Feb 19, 2021 - Online
|
![]() |
![]() |
WTMC 2021 : 6th International Workshop on Traffic Measurements for Cybersecurity |
Deadline : Fri 15 Jan 2021 |
|
May 27, 2021 - May 27, 2021 - Online
|
![]() |
![]() |
MRC 2021 : The 1st International Workshop on Machine Reasoning |
Deadline : Fri 15 Jan 2021 |
|
Mar 12, 2021 - Mar 12, 2021 - Online
|
![]() |
![]() |
UMAP 2021 : International Conference on User Modelling, Adaptation, and Personalization |
Deadline : Sun 17 Jan 2021 |
|
Jun 21, 2021 - Jun 25, 2021 - Online
|
![]() |
![]() |
SER&IP 2021 : 8th International Workshop on Software Engineering Research and Industrial Practice |
Deadline : Tue 19 Jan 2021 |
|
Jun 4, 2021 - Jun 4, 2021 - Online
|
![]() |