SBMF: Brazilian Symposium on Formal Methods



Past:   Proceedings on DBLP

Future:  Post a CFP for 2025 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
SBMF 2024 27th Brazilian Symposium on Formal Methods
Dec 4, 2024 - Dec 6, 2024 Vitória - Espírito Santo, Brazil Jul 5, 2024
SBMF 2023 SBMF 2023
Dec 4, 2023 - Dec 8, 2023 Manaus, Brazil Jul 28, 2023
SBMF 2022 25th Brazilian Symposium on Formal Methods
Dec 5, 2022 - Dec 9, 2022 Aracaju, Brazil Aug 8, 2022 (Aug 1, 2022)
SBMF 2020 23rd Brazilian Symposium on Formal Methods
Nov 25, 2020 - Nov 27, 2020 Ouro Preto / Brazil Jul 17, 2020 (Jul 10, 2020)
SBMF 2018 21st Brazilian Symposium on Formal Methods
Nov 26, 2018 - Nov 30, 2018 Salvador, Brazil Jul 13, 2018 (Jul 2, 2018)
SBMF 2017 20th Brazilian Symposium on Formal Methods
Nov 27, 2017 - Dec 1, 2017 Recife, Pernambuco, Brazil Jul 14, 2017 (Jul 7, 2017)
SBMF 2015 The 18th Brazilian Symposium on Formal Methods
Sep 21, 2015 - Sep 26, 2015 Belo Horizonte, MG, Brazil Jul 3, 2015 (Jun 27, 2015)
SBMF 2014 Brazilian Symposium on Formal Methods
Sep 29, 2014 - Oct 1, 2014 Maceio', AL, Brazil Jul 22, 2014 (Jul 15, 2014)
SBMF 2011 14th Brazilian Symposium on Formal Methods
Sep 26, 2011 - Sep 30, 2011 Sao Paulo, Brazil May 30, 2011
Nov 8, 2010 - Nov 12, 2010 Natal, Rio Grande do Norte, Brazil Jun 10, 2010
SBMF 2009 Brazilian Symposium on Formal Methods
Aug 19, 2009 - Aug 21, 2009 Gramado - Brazil Apr 17, 2009

Present CFP : 2024


SBMF 2024: 27th Brazilian Symposium on Formal Methods
Vitória - Espírito Santo, Brazil, December 4-6, 2024
Instituto Federal do Espírito Santo

Conference website:

Submission link:


- Submission deadline: July 5, 2024
- Author Notification: September 6, 2024
- Camera-ready deadline: October 11, 2024

#About SBMF

SBMF 2024 is the twenty-seventh 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. It regularly receives submissions and
participants from all over the world.

#Submission Guidelines

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:

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 based on
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 the following link:

#Scope and Topics

SBMF aims to provide a venue for the presentation and discussion of
high-quality work in formal methods. The topics include, but are not
limited to, the following:

* Applications of formal methods to
- Software and/or hardware design
- Software and/or hardware development
- Software and/or hardware code generation
- Software and/or hardware testing
- Software maintenance, evolution and/or reuse
- Intelligent systems

* Specification and modeling languages
- Logic and semantics for specification and/or programming languages
- Formal methods for timed, real-time, hybrid, or/and safety-critical systems
- Formal methods for service-oriented, cloud-based, or/and cyber-physical systems

* Theoretical foundations
- Domain theory
- Term rewriting
- Computational models
- Type systems and category systems
- Computation complexity of methods and models
- Models of time, concurrency, security and/or mobility

* Verification and validation
- Abstraction, modularization and/or refinement techniques
- Static analysis
- Model checking
- Theorem proving
- Software certification
- Correctness by construction

* Experience reports
- Reports on teaching formal methods
- Reports on the industrial application of formal methods


General Chair

- Jefferson Andrade (Instituto Federal do Espírito Santo)

Program Chairs

- Ciprian TEODOROV (ENSTA Bretagne, France)
- Sidney C. Nogueira (Universidade Federal Rural de Pernambuco, Brazil)

Steering Committee

- Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil)
- Lucas Lima (Universidade Federal Rural de Pernambuco)
- Marius Minea (University of Massachusetts Amherst, USA)
- Sérgio Campos (Universidade Federal de Minas Gerais, Brazil)
- Vince Molnár (Budapest University of Technology and Economics)
- Yoni Zohar (Bar-Ilan University, Israel)

#Invited Speakers

- Julien Deantony (Côte d'Azur University, France)
- Marcel Oliveira (Universidade Federal do Rio Grande do Norte, Brazil)
- Philipp Rümmer (University of Regensburg, Germany)


Accepted papers will be published, after the conference, in a volume of
LNCS. The authors will be requested to complete and sign a
consent-to-publish form. Every accepted paper MUST have at least one author
registered in the symposium by the time the camera-ready copy is submitted.
The registered author is also expected to attend the symposium and present
the paper.

A special issue of the Science of Computer Programming Journal (Elsevier)
is going to be organised (to be confirmed) with selected and extended
papers from the 27th Brazilian Symposium on Formal Methods (SBMF 2024).
Venue Vitoria, Espírito Santo, Brazil


All questions about submissions should be emailed to sbmf2024 "@"

Related Resources

DSA 2024   5th International Conference on Data Science and Applications
ICFEM 2024   International Conference on Formal Engineering Methods
DSML 2024   5th International Conference on Data Science and Machine Learning
CSL 2025   Computer Science Logic
VORTEX 2024   Verification and Monitoring at Runtime Execution 2024
VSTTE 2024   Verified Software: Theories, Tools, Experiments
SOEN 2024   9th International Conference on Software Engineering
AVC 2024   Advances in Vision Computing: An International Journal
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
7FMA 2024   7th International Symposium Formal Methods in Architecture