We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical, in the following categories:
Proofs of theoretical results that do not fit the page limit may be provided in an appendix.
Includes 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.
View LNCS 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 based on originality, relevance, technical soundness, and presentation quality. Industry papers should emphasize the practical application of formal methods or report on open challenges.
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.
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.
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).