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.
Where is it?
R. do Matão, 1010 – Cidade Universitária, São Paulo – SP, 05508-090