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