December 1-4, 2026
Countdown
About SBMF 2026
SBMF 2026 is the twenty-ninth 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.
The main topics discussed at SBMF include:
- ❖ Theoretical foundations: Formal aspects of specification languages, such as the development of new domain-specific languages, the formalization of existing languages, and the study of the foundations of software engineering.
- ❖ Systems development: 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: Formal verification of the correctness of software systems, the model checking of the requirements of software systems, and the fuzz testing of software systems.
- ❖ Neural networks: Formal verification of neural networks, such as the application of formal methods to the verification of the correctness of deep learning models.
- ❖ Practice: 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 and event sites:
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
- ▪ Software or hardware design
- ▪ Software or hardware development
- ▪ Software or hardware code generation
- ▪ Software or hardware testing
- ▪ Software maintenance, evolution and reuse
- ▪ Intelligent systems
Specification & modeling languages
- ▪ Logic and semantics for specification and programming languages
- ▪ Formal methods for timed, real-time, hybrid, or safety-critical systems
- ▪ Formal methods for service-oriented, cloud-based, or cyber-physical systems
Theoretical foundations
- ▪ Domain theory
- ▪ Term rewriting
- ▪ Computational models
- ▪ Type systems and category theory
- ▪ Computational complexity of methods and models
- ▪ Models of time, concurrency, security, and mobility
Verification and validation
- ▪ Abstraction, modularization, and 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
Important Dates
Mark your calendars. All deadlines are Anywhere on Earth (AoE).
Paper registration deadline
July 31st, 2026Paper submission deadline
August 7th, 2026Acceptance notification
September 25th, 2026Camera-ready deadline
October 23th, 2026SBMF 2026
December 1st to 4th, 2026
Registration
Please carefully read the information below to know the conditions and deadlines. All registration fees are in Brazilian reais (R$/BRL).
- * Full discount at ETMF exclusively for undergraduate students.
- ** Conference Dinner included.
| Category | SBMF | SBMF + SBC | ETMF | ETMF + SBC |
|---|---|---|---|---|
| Period: 19/Sep - 12/Oct | ||||
| Undergraduate Student – SBC Member | R$ 50,00 | R$ 83,00 | R$ 0,00* | R$ 33,00 |
| Undergraduate Student – non SBC Member | R$ 88,00 | R$ 83,00 | R$ 0,00* | R$ 33,00 |
| Graduate Student – SBC Member | R$ 110,00 | R$ 245,00 | R$ 50,00 | R$ 185,00 |
| Graduate Student – non SBC Member | R$ 256,00 | R$ 245,00 | R$ 190,00 | R$ 185,00 |
| Basic Education Teacher – SBC Member | R$ 165,00 | R$ 300,00 | R$ 50,00 | R$ 185,00 |
| Basic Education Teacher – non SBC Member | R$ 317,00 | R$ 300,00 | R$ 190,00 | R$ 185,00 |
| Federal Education Teacher – SBC Member | R$ 175,00 | R$ 545,00 | R$ 50,00 | R$ 420,00 |
| Federal Education Teacher – non SBC Member | R$ 563,00 | R$ 545,00 | R$ 425,00 | R$ 420,00 |
| Professional – SBC Member | R$ 200,00** | R$ 575,00** | R$ 50,00** | R$ 425,00** |
| Professional – non SBC Member | R$ 595,00** | R$ 575,00** | R$ 430,00** | R$ 425,00** |
| Period: 13/Oct - 09/Nov | ||||
| Undergraduate Student – SBC Member | R$ 60,00 | R$ 93,00 | R$ 0,00* | R$ 33,00 |
| Undergraduate Student – non SBC Member | R$ 99,00 | R$ 93,00 | R$ 0,00* | R$ 33,00 |
| Graduate Student – SBC Member | R$ 140,00 | R$ 275,00 | R$ 70,00 | R$ 205,00 |
| Graduate Student – non SBC Member | R$ 289,00 | R$ 275,00 | R$ 212,00 | R$ 205,00 |
| Basic Education Teacher – SBC Member | R$ 190,00 | R$ 325,00 | R$ 70,00 | R$ 205,00 |
| Basic Education Teacher – non SBC Member | R$ 344,00 | R$ 325,00 | R$ 212,00 | R$ 205,00 |
| Federal Education Teacher – SBC Member | R$ 200,00 | R$ 570,00 | R$ 70,00 | R$ 440,00 |
| Federal Education Teacher – non SBC Member | R$ 590,00 | R$ 570,00 | R$ 447,00 | R$ 440,00 |
| Professional – SBC Member | R$ 220,00** | R$ 595,00** | R$ 70,00** | R$ 445,00** |
| Professional – non SBC Member | R$ 617,00** | R$ 595,00** | R$ 452,00** | R$ 445,00** |
| Period: 09/Nov - 05/Dec | ||||
| Undergraduate Student – SBC Member | R$ 70,00 | R$ 103,00 | R$ 0,00* | R$ 33,00 |
| Undergraduate Student – non SBC Member | R$ 110,00 | R$ 103,00 | R$ 0,00* | R$ 33,00 |
| Graduate Student – SBC Member | R$ 160,00 | R$ 295,00 | R$ 90,00 | R$ 225,00 |
| Graduate Student – non SBC Member | R$ 311,00 | R$ 295,00 | R$ 234,00 | R$ 225,00 |
| Basic Education Teacher – SBC Member | R$ 200,00 | R$ 335,00 | R$ 90,00 | R$ 225,00 |
| Basic Education Teacher – non SBC Member | R$ 355,00 | R$ 335,00 | R$ 234,00 | R$ 225,00 |
| Federal Education Teacher – SBC Member | R$ 210,00 | R$ 580,00 | R$ 90,00 | R$ 460,00 |
| Federal Education Teacher – non SBC Member | R$ 601,00 | R$ 580,00 | R$ 469,00 | R$ 460,00 |
| Professional – SBC Member | R$ 240,00** | R$ 615,00** | R$ 90,00** | R$ 465,00** |
| Professional – non SBC Member | R$ 639,00** | R$ 615,00** | R$ 474,00** | R$ 465,00** |
Registration is on!
Register Now via SBC ECOS!PROMOTIONAL REGISTRATION
Non-SBC members or members with an annual fee that is about to expire can join or renew their membership along with their registration, choosing the COMBO categories with a discount on the registration fee.
The COMBO categories are the most advantageous option for non-SBC members, as the registration fees are lower than the categories without combo and include SBC membership.
Becoming a member of SBC is a way to make SBC even stronger to represent our area of work with the various sectors. How about becoming part of our Community?
Some exclusive member benefits:
PAYMENT METHODS
Payment of enrollments can be made by means of bank slip, credit card, debit in Banco do Brasil account, purchase order or invoice.
Enrollments can be made until the last day of the event, however payments by debit and bill will be accepted until November 28th, 2026.
Enrollments by purchase order or invoice:
The participant must access the enrollment system and register, selecting the payment method "purchase order" or "invoice" and clicking on pay. The system will provide the information necessary for the enrollment to be confirmed.
ENROLLMENT FOR AUTHORS
Registration for SBMF authors. Papers accepted to SBMF will be published in a volume of LNCS. At least one author (professional or student) of each accepted paper must be registered for SBMF 2026. Authors can not use the registration benefits (exemption or 50% discount) granted by SBC to affiliated institutions. The author registration must be paid until October 13th, 2026.
CANCELLATION POLICY
Until November 16th, 2026, a refund of 50% of the registration fee for SBMF/ETMF may be requested. After this date, no refunds will be issued. This policy applies both to the cancellation of the registration itself and to the cancellation of any additional activities. To request a cancellation, please send your request to faturamento@sbc.org.br.
Committees
Organizing Committee
General Chair
Edward Hermann Haeusler
Pontifícia Universidade Católica do Rio de Janeiro, Brazil
PC Chairs
Genaína Nunes Rodrigues
Universidade de Brasília, Brazil
Pedro Ribeiro
University of York, UK
Steering Committee
Haniel Barbosa
Universidade Federal de Minas Gerais, Brazil
Maurice ter Beek
CNR-ISTI, Italy
Sidney Nogueira
Universidade Federal Rural de Pernambuco, Brazil
Leopoldo Teixeira
Universidade Federal de Pernambuco, Brazil
Ciprian Teodorov
ENSTA Bretagne, France
Yoni Zohar
Bar-Ilan University, Israel
Web Chair
Renato Paiva
Universidade de Brasília, Brazil
Contact the organizing committee at
sbmf2026@easychair.orgProgram Committee
- ❖
Jefferson O. Andrade
Instituto Federal do Espírito Santo, Brazil
- ❖
Haniel Barbosa
Universidade Federal de Minas Gerais, Brazil
- ❖
Luís Soares Barbosa
Universidade do Minho; INESC TEC; UNU-EGOV, Portugal
- ❖
Davide Basile
Formal Methods & Tools; ISTI-CNR, Italy
- ❖
Armin Biere
University of Freiburg, Germany
- ❖
Silvia Bonfanti
University of Bergamo, Italy
- ❖
Gustavo Carvalho
Universidade Federal de Pernambuco, Brazil
- ❖
Valentina Castiglioni
Eindhoven University of Technology, Netherlands
- ❖
Márcio Cornélio
Universidade Federal de Pernambuco, Brazil
- ❖
Chelsea Edmonds
University of Western Australia, Australia
- ❖
Katalin Fazekas
TU Wien, Austria
- ❖
Ahmed Irfan
SRI International, USA
- ❖
Juliano Iyoda
Universidade Federal de Pernambuco, Brazil
- ❖
Alberto Lluch Lafuente
Technical University of Denmark, Denmark
- ❖
Thierry Lecomte
CLEARSY, France
- ❖
Michael Leuschel
University of Düsseldorf, Germany
- ❖
Livia Lestingi
Politecnico di Milano, Italy
- ❖
Nianyu Li
ZGC National Laboratory, China
- ❖
Lucas Lima
Universidade Federal Rural de Pernambuco, Brazil
- ❖
Carlos Luna
Facultad de Ingeniería, Udelar, Uruguay
- ❖
Claudio Mandrioli
University of Luxembourg, Luxembourg
- ❖
Alexandra Mendes
University of Porto, Portugal
- ❖
Alvaro Miyazawa
University of York, United Kingdom
- ❖
Vince Molnár
Budapest University of Technology and Economics, Hungary
- ❖
Rosemary Monahan
National University of Ireland, Ireland
- ❖
Alexandre Mota
Universidade Federal de Pernambuco, Brazil
- ❖
Sidney Nogueira
Universidade Federal Rural de Pernambuco, Brazil
- ❖
Marcel Oliveira
Universidade Federal do Rio Grande do Norte, Brazil
- ❖
Luigia Petre
Åbo Akademi University, Finland
- ❖
Luciana Rebelo
Gran Sasso Science Institute, Italy
- ❖
Philipp Rümmer
University of Regensburg; Uppsala University, Germany/Sweden
- ❖
Augusto Sampaio
Universidade Federal de Pernambuco, Brazil
- ❖
Hans-Jörg Schurr
The University of Iowa, USA
- ❖
Maike Schwammberger
KIT, Germany
- ❖
Paola Spoletini
Kennesaw State University, USA
- ❖
Volker Stolz
Western Norway University of Applied Sciences, Norway
- ❖
Ciprian Teodorov
Ensta Bretagne - Lab-STICC MOCS, France
- ❖
Nils Timm
University of Pretoria, South Africa
- ❖
Jim Woodcock
University of York, United Kingdom
- ❖
Yoni Zohar
Bar-Ilan University, Israel
Submission Instructions
We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical, in the following categories:
Regular papers
Max 15 PagesProofs of theoretical results that do not fit the page limit may be provided in an appendix.
Short papers
Max 8 PagesIncludes 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.
❖ Formatting & Guidelines
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.
View LNCS Guidelines →❖ Review Process
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. Industry papers should emphasize the practical application of formal methods or report on open challenges.
Publication
📚 Proceedings
We plan that accepted papers will be published, after the conference, in a volume of LNCS (Lecture Notes in Computer Science). The authors will be requested to complete and sign a consent-to-publish form.
⚠️ Mandatory Registration
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.
To be confirmed: Special Issue
We plan to follow on last years' tradition of organizing a special issue of the Science of Computer Programming Journal (Elsevier) with selected and extended papers from the 29th Brazilian Symposium on Formal Methods (SBMF 2026).
Contact Us
If you have any questions, please email sbmf2026@easychair.org