Skip to content

The 27th International Conference on Automated Deduction

23-30 August 2019 — Natal — Brazil

Home
Workshops and Tutorials
Organization
Venue and local information
Dates, Submissions & Grants
Photo gallery

Photo gallery

Galinhos

Galinhos

Jenipabu

Natal – Forte Reis Magos

Natal – Ponta Negra

Natal

Natal – Ponta Negra

Jenipabu

Jenipabu

Photos by Umberto Rivieccio and Carlos Olarte

Sponsors

The CADE conference series is sponsored by CADE Inc.

Home
Workshops and Tutorials
Organization
Venue and local information
Dates, Submissions & Grants
Photo gallery

The 27th International Conference on Automated Deduction Proudly powered by WordPress