CfP SBMF 2020: 23rd Brazilian Symposium on Formal Methods

by Volker Stolz, April 19, 2020

23rd Brazilian Symposium on Formal Methods
Ouro Preto (MG), Brazil, 25 to 27 of November, 2020

Conference web page: http://sbmf2020.ufop.br/

The 23rd SBMF is the 2020 edition 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.

Abstract submission deadline: 10 July 2020

23rd Brazilian Symposium on Formal Methods

Ouro Preto (MG), Brazil, 25 to 27 of November, 2020

Conference web page: http://sbmf2020.ufop.br

Accepted papers will be published in a volume of LNCS.

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 modelling 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