SBMF 2022 is the twenty-fifth edition 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.

Along with SBMF, the 7th edition of the International School of Formal Methods and Theoretical Informatics (ETMF) will be held. Aimed at students, its purpose is to introduce basic concepts, methods and tools.

As in the last two years, this edition will be virtual.

Main SBMF conference: Dec, 7th – 9th, 2022

ETMF School : Dec, 6th - 9th, 2022

The SBMF Proceedings are available here.

Previous editions

• SBMF 2021 - Virtual Event

• SBMF 2020 - Virtual Event

• SBMF 2019 - São Paulo, SP

• SBMF 2018 - Salvador, BA

Previous SBMF proceedings on https://link.springer.com/conference/sbmf

Organization

Departamento de Computação da Universidade Federal de Sergipe