Photos by Umberto Rivieccio and Carlos Olarte
Photo gallery
Skip to content
Galinhos
Galinhos
Jenipabu
Natal – Forte Reis Magos
Natal – Ponta Negra
Natal
Natal – Ponta Negra
Jenipabu
Jenipabu
The 27th International Conference on Automated Deduction
23-30 August 2019 — UFRN/Praiamar Hotel — Natal — Brazil