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.


Proceedings are available on Springer’s site.

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)

The Best Student Paper Award has been given to Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach for the paper: SPASS-SATT a CDCL(LA) Solver.

The Best Paper Award has been given to Vojtěch Havlena, Lukáš Holík,\\ Ondřej Lengál and Tomáš Vojnar for the paper: Automata Terms in a Lazy WSkS Decision Procedure.

Other information
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.