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.
To be defined.
| Paper submission deadline†‡ | 18th August, 2024 5th July, 2024 |
| Acceptance notice | 23th September, 2024 6th September, 2024 |
| Camera-ready copy deadline† | 13th October, 2024 11th October, 2024 |
| SBMF 2024 | 4th—6th December, 2024 |
† All deadlines are until midnight of the specified date Anywhere on Earth (AoE).
‡ This is the final submission deadline and there will be no further extensions.
Registrations will be on soon.
Accepted papers will be available after the Acceptance Notice. (See Important Dates.)
We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical, in the following categories:
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.
Submissions should be made via this link: https://easychair.org/conferences/?conf=sbmf2024
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.
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.
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
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
