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
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.
Hotels
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
