Call for Papers

25th Brazilian Symposium on Formal Methods

Virtual event, 6th to 9th of December, 2022

Supported by the Brazilian Computer Society (SBC)


Deadlines extended!

Abstract submission deadline: 1st August 2022 8th August 2022

Full paper submission deadline: 8th August 2022 15th August 2022

Authors notification deadline: 19th September 2022

Camera-ready copy deadline: 3rd October 2022


INTRODUCTION

SBMF 2022 is the twenty-fifth 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.


SCOPE AND TOPICS

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 applications of formal methods


SUBMISSION GUIDELINES

We invite submissions of papers with a strong emphasis on formal methods, whether practical or theoretical. Contributions should not be simultaneously submitted for publication elsewhere. They should be written in English, respecting the limit of 16 pages, including references and any appendices, 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 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. They should contain sound theoretical or practical results. Industry papers should emphasize practical application of formal methods or report on open challenges.

Submissions should be made via the following link:

https://easychair.org/conferences/?conf=sbmf2022


PUBLICATION

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 organized (to be confirmed) with selected and extended papers from the 25th Brazilian Symposium on Formal Methods (SBMF 2022).