Event Start


The Brazilian Symposium on Formal Methods (SBMF) is a scientific event that has been held annually since 1998. The 27th edition of SBMF will take place in 2024 in Vitória, the capital of Espírito Santo. SBMF courses and lectures are dedicated to disseminating recent advances in the field of formal methods. The technical sessions of SBMF foresee the presentation of unpublished works that make clear and significant contributions to the state of the art in the theory and practice of formal methods.

The main topics discussed at SBMF include:
Formal aspects of specification languages and theoretical foundations, such as the development of new domain-specific languages, the formalization of existing languages, and the study of the foundations of software engineering. Formal aspects of systems development, such as the application of formal methods to the development of cyber-physical systems, embedded systems, and software-intensive systems. Verification and validation, such as the formal verification of the correctness of software systems, the model checking of the requirements of software systems, and the fuzz testing of software systems. Formal verification of neural networks, such as the application of formal methods to the verification of the correctness of deep learning models. Self-formalization and formal aspects in practice, such as the automation of formal methods, the use of formal methods in industrial settings, and the teaching of formal methods.

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


To be defined.

Special Talks

To be defined.

Important Dates

Paper submission deadline 5th July, 2024
Acceptance notice 6th September, 2024
Camera-ready copy deadline 11th October, 2024
SBMF 2024 3rd to 6th December, 2024


Registrations will be on soon.


Organizing Committee:

General Chair:

PC Chairs:

Steering Comittee:

To be defined.

Program Committee


Accepted Articles

Accepted papers will be available after the Acceptance Notice. (See Important Dates.)

Submission instructions (To be open)

We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical, in the following categories:

  • Regular papers (limit of 15 pages). Proofs of theoretical results that do not fit the page limit may be provided in an appendix.
  • Short papers (limit of 8 pages). Short papers include system descriptions, user experiences, and case studies. We encourage authors to make the data needed to reproduce their experiments available.

The page limits exclude references and appendices.

Contributions should not be simultaneously submitted for publication elsewhere. They should be written in English, and prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Springer’s proceedings LaTeX templates are available in Overleaf. More information is available at the following link: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

Papers should present unpublished and original work that has a clear contribution to the state-of-the-art on the theory and practice of formal methods. Papers will be judged by at least three reviewers on the basis of originality, relevance, technical soundness and presentation quality and should contain sound theoretical or practical results. Industry papers should emphasize the practical application of formal methods or report on open challenges.


Vitória, the capital of Espírito Santo, located in the Southeast region of Brazil, is known for its beautiful beaches, historical heritage, and strong economy. The city is a major financial, corporate, research, technology, entertainment, and commercial center in Brazil. Situated on an island, Vitória is famous for the combination of its natural beauty with a vibrant urban life.
Hosting the 27th Brazilian Symposium on Formal Methods (SBMF 2024) is the Graduate Program in Applied Computing (PPComp) at the Serra Campus of the Federal Institute of Espírito Santo (Ifes). Ifes is known for its excellence in technical and higher education, offering a wide range of programs across various fields of knowledge. PPComp, in particular, stands out for its contribution to research and innovation in the field of Applied Computing, being a pillar in the training of highly qualified professionals and in conducting research that meets the contemporary demands of society and the market.
Launched in 2019, PPComp is a young program that actively seeks to consolidate itself as a center of excellence in its area. With a firm commitment to the quality of education and research, the program is committed to significantly contributing to the advancement of applied computing, developing a solid foundation to become a benchmark in the future, both regionally and nationally. Moreover, the program's faculty have been actively collaborating with local companies on research and technological development projects, strengthening the bridge between academia and the industrial sector, and contributing to the region's economic and technological development.

Event Location

The 27th SBMF will be hosted at the "Cidade da Inovação" (Innovation City) of Ifes, a hub designed to foster transformative solutions for sustainable development through collaboration with governmental bodies, the industrial sector, and civil society. Situated in the Jardim da Penha neighborhood of Vitória, in the premises formerly known as the IBC Sheds, this space now houses the Vitória Innovation Hub (PEIF-IFES), focusing on research and innovation in metallurgy, materials, and AI, alongside the regional office of the National Institute of Industrial Property (INPI).

The ambition is for this location to not only serve as a physical site for innovation and collaboration but to also act as a platform connecting the Ifes community, local society, and the productive sector globally.


Here are some hotel recommendations in the city of Vitória, catering to various preferences. For attendees seeking convenience, there are accommodations near the "Cidade da Inovação". For those looking for value, several budget-friendly options are available throughout the city.

Location-based choices

ibis Vitoria Praia de Camburi
Av. Dante Michelini, 791 - Praia De Camburi, Vitória - ES, 29060-235
Telefone: +55 (27) 3203-5450

Vitória Praia Hotel
Av. Dante Michelini, 1057 - Jardim da Penha, Vitória - ES, 29060-235
Telefone: +55 (27) 3010-5500

Hotel Sol da Praia
Av. Dante Michelini, 877 - Jardim da Penha, Vitória - ES, 29065-050
Telefone: +55 (27) 2127-1500

Alameda Vitória Hotel
Av. Dante Michelini, 585 - Jardim da Penha, Vitória - ES, 29060-235
Telefone: +55 (27) 3204-6600

Trade-offs-based choices

ibis budget Vitoria
Av. Nossa Sra. da Penha, 1993 - Bela Vista, Vitória - ES, 29056-075
Telefone: +55 (27) 3205-6155

Hotel Minuano
Avenida Dantas Micheline, 337 - Camburi, Vitória - ES, 29060-235
Telefone: +55 (27) 2121-7877

ibis Vitoria Aeroporto
BR-101, Km 2 - S/2 - Bairro Carapina, Serra - ES, 29161-793
Telefone: +55 (27) 3041-4900

Host and co-host organizers