SBMF: Brazilian Symposium on Formal Methods



Past:   Proceedings on DBLP

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


All CFPs on WikiCFP

Event When Where Deadline
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 : 2023


26th Brazilian Symposium on Formal Methods
Manaus, Brazil, 4th to 8th of December, 2023

Conference web page:
Supported by the Brazilian Computer Society (SBC)

Paper submission deadline: 28th July, 2023
Authors notification deadline: 8th September, 2023
Camera-ready copy deadline: 9th October, 2023


SBMF 2023 is the twenty-sixth 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.


Artur d'Avila Garcez (City, University London)
Chantal Keller (Université Paris-Saclay)



The aim of SBMF is 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 or/and hardware design
* Software or/and hardware development
* Software or/and hardware code generation
* Software or/and hardware testing
* Software maintenance, evolution or/and reuse
* Intelligent systems

:: Specification and modeling languages
* Logic and semantics for specification or/and 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 or/and mobility

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

:: Experience reports
* Reports on teaching formal methods
* Reports on industrial application of formal methods


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

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


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 26th Brazilian Symposium on Formal
Methods (SBMF 2023).


All questions about submissions should be sent to


:: Organising committee

Edjard Mota (Universidade Federal do Amazonas, Brazil) -- General Chair

Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) -- PC co-chair
Yoni Zohar (Bar-Ilan University, Israel) -- PC co-chair

:: Program committee

Yoni Zohar (Bar-Ilan University)
Haniel Barbosa (Universidade Federal de Minas Gerais)
Katalin Fazekas (TU Wien)
Mathias Preiner (Stanford University)
Daniela Kaufmann (TU Wien)
Edjard Mota (Institute of Computing/Federal University of Amazonas)
Maurice ter Beek (ISTI-CNR, Pisa)
Vince Molnár (Budapest University of Technology and Economics)
Mathias Fleury (University of Freiburg)
Leila Ribeiro (Universidade Federal do Rio Grande do Sul)
Luís Soares Barbosa (University of Minho)
Volker Stolz (Høgskulen på Vestlandet)
Nils Timm (University of Pretoria)
Thierry Lecomte (CLEARSY)
Lucas Lima (Universidade Federal Rural de Pernambuco)
Marcel Vinicius Medeiros Oliveira (Universidade Federal do Rio Grande do Norte)
Gustavo Carvalho (Universidade Federal de Pernambuco)
Márcio Cornélio (Centro de Informática - UFPE)
Clark Barrett (Stanford University)
Juliano Iyoda (Centro de Informática, Universidade Federal de Pernambuco)
Sergio Campos (Universidade Federal de Minas Gerais)
Adenilso Simao (ICMC/USP)
Ahmed Irfan (SRI International)
Leopoldo Teixeira (Informatics Center, Federal University of Pernambuco)
David Deharbe (ClearSy System Engineering)
Michael Leuschel (University of Düsseldorf)
Giselle Reis (Carnegie Mellon University)
Rohit Gheyi (Department of Computing Systems - UFCG)
Augusto Sampaio (Federal university of Pernambuco)
Armin Biere (Freiburg)
Sophie Tourret (INRIA and MPI for Informatics)
Natarajan Shankar (SRI International)
Sidney C. Nogueira (DC - UFRPE)
Cesare Tinelli (The University of Iowa)
Lucas Cordeiro (University of Manchester)
Clare Dixon (University of Manchester)

:: Steering committee

Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
Volker Stolz (Western Norway University of Applied Sciences, Norway)
Sérgio Campos (Universidade Federal de Minas Gerais, Brazil)
Marius Minea (University of Massachusetts Amherst, USA)
Vince Molnár (Budapest University of Technology and Economics)
Lucas Lima (Universidade Federal Rural de Pernambuco)


Related Resources

AIAP 2024   11th International Conference on Artificial Intelligence and Applications
CGDEIJ 2023   Computer Game Development and Education: An International Journal
AVC 2023   Advances in Vision Computing: An International Journal
BCYIoT 2023   International Conference on Blockchain, Cybersecurity and Internet of Things
NLP 2023   12th International Conference on Natural Language Processing
IJPLA 2023   International Journal of Programming Languages and Applications
MECHAN 2023   6th International Conference on Mechanical Engineering
ABZ 2024   Abstract State Machines, Alloy, B and Z