Sejam bem vindos!!!

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.

Invited speakers

  • Cas Cremers (CISPA Helmholtz Center for Information Security in Saarbruecken, Germany)
  • Assia Mahboubi (Inria, LS2N, Université de Nantes, France, and Vrije Universiteit Amsterdam, the Netherlands)
  • Cesare Tinelli (Department of Computer Science, The University of Iowa, USA)

For more information on CADE, including a list of previous conferences, see here

The call for papers is available here.

The CADE-27 poster is available for download.