The conference venues
CADE and the workshops will take place at Praiamar Hotel. The tutorials will be held at UFRN.
Skip to content
The 27th International Conference on Automated Deduction
23-30 August 2019 — UFRN/Praiamar Hotel — Natal — Brazil