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.