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 Universidade Federal do Rio Grande do Norte (UFRN) in Natal, one of the main sites in Brazil for doing research in Logic.
For more information on CADE, including a list of previous conferences, see here http://cadeinc.org.