SBMF - Brazilian Symposium on Formal Methods 2019

SBMF 2019 is the twenty-second of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation.


In 2019, SBMF will take place in São Paulo. São Paulo is Brazil’s largest city and the world’s twelfth largest. This makes it a city of prominence in research and development in both academic and industrial fields. Moreover, it offers great possibilities for cultural, artistic and gastronomic tourism.

Important Dates

Conference

26th Nov – ETMF
27-29th Nov- SBMF

Paper Submission

02nd August 2019 (extended)

Registration

early: 10th Oct – 10th Nov
late: 11-29th Nov

where is it?

R. do Matão, 1010 – Cidade Universitária, São Paulo – SP, 05508-090