Skip to content

The 27th International Conference on Automated Deduction

23-30 August 2019 — UFRN/Hotel Praiamar — Natal — Brazil

Home
Workshops/Tutorials
Dates/Submissions
Program / Accepted papers
Invited talks
Registration
Grants
Organization
Venue/Local info
Photo gallery
We are a child friendly conference!

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/Tutorials
Dates/Submissions
Program / Accepted papers
Invited talks
Registration
Grants
Organization
Venue/Local info
Photo gallery
We are a child friendly conference!

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