Skip to content

27th International Conference on Automated Deduction

25-30 August 2019 — Natal — Brazil

Home
Organization
Dates & submission
Venue
Transportation & Accomodation
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

UFRN

Universidade Federal do Rio Grande do Norte

Campus Universitário

Av. Senador Salgado Filho, s/nº

Lagoa Nova, CEP: 59.078-970

Natal – RN – Brazil

Sponsors

The CADE conference series is sponsored by CADE Inc. In addition, CADE-27 gratefully acknowledges support from Universidade Federal do Rio Grande do Norte, Universidade de Brasilia and CMU-Qatar.

The CADE-27 proceedings will be published by Springer in the LNAI series.

Search

Search for:

Home
Organization
Dates & submission
Venue
Transportation & Accomodation
Photo gallery

27th International Conference on Automated Deduction Proudly powered by WordPress