CADE 2019 : International Conference on Automated Deduction

  in Conferences   Posted on July 1, 2019

Conference Information

Submission Deadline Friday 15 Feb 2019 Proceedings indexed by :
Conference Dates Aug 23, 2019 - Aug 30, 2019
Conference Address Natal, Brazil
Conference & Submission Link http://www.cade-27.info/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 248
Category Rankings
Computational Theory and Mathematics 30

Google Scholar H5-index:
20

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.

CADE-27 will take place at the Praiamar Hotel. The tutorials will be held at the Universidade Federal do Rio Grande do Norte (UFRN) in Natal, one of the main sites in Brazil for doing research in Logic.

Other Conferences in Brazil

LARS 2019 : Latin American Robotics Symposium

Deadline :
Sun 21 Jul 2019
Oct 22, 2019 - Oct 26, 2019 - Rio Grande - Brazil
Brazil

IEEE LATINCOM 2019 : LATINCOM 2019 : IEEE Latin-American Conference on Communications

Deadline :
Tue 23 Jul 2019
Nov 11, 2019 - Nov 13, 2019 - Salvador
Brazil

BSB 2019 : 12th Brazilian Symposium on Bioinformatics

Deadline :
Sun 28 Jul 2019
Oct 7, 2019 - Oct 10, 2019 - Brazil
Brazil

DIONE 2020 : 1st EAI International Conference on Data and Information in Online Environments

Deadline :
Sun 01 Sep 2019
Mar 18, 2020 - Mar 20, 2020 - Florianópolis
Brazil

ICSA 2020 : IEEE International Conference on Software Architecture

Deadline :
Wed 18 Dec 2019
Mar 16, 2020 - Mar 20, 2020 - Salvador
Brazil