Home Categories About Call for Papers

SBMF 2020 : 23rd Brazilian Symposium on Formal Methods

Ouro Preto / Brazil

Event Date:	November 25, 2020 - November 27, 2020
Abstract Submission Deadline:	July 10, 2020
Submission Deadline:	July 17, 2020
Notification of Acceptance:	August 31, 2020
Camera Ready Version Due:	September 11, 2020

About

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.

Call for Papers

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

Summary

SBMF 2020 : 23rd Brazilian Symposium on Formal Methods will take place in Ouro Preto / Brazil. It’s a 3 days event starting on Nov 25, 2020 (Wednesday) and will be winded up on Nov 27, 2020 (Friday).

SBMF 2020 falls under the following areas: FORMAL METHODS, COMPUTER SCIENCE, SOFTWARE TESTING, etc. Submissions for this Symposium can be made by Jul 17, 2020. Authors can expect the result of submission by Aug 31, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 11, 2020 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the SBMF 2020

Short Name: SBMF 2020
Full Name: 23rd Brazilian Symposium on Formal Methods
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of SBMF 2020
Event Type: Symposium
Website Link: http://sbmf2020.ufop.br/
Location/Address: Ouro Preto / Brazil

Credits and Sources

[1] SBMF 2020 : 23rd Brazilian Symposium on Formal Methods

SBMF 2020 : 23rd Brazilian Symposium on Formal Methods

Categories

About

Call for Papers

Summary

Other Details of the SBMF 2020

Credits and Sources

OTHER FORMAL METHODS EVENTS

OTHER COMPUTER SCIENCE EVENTS

OTHER SOFTWARE TESTING EVENTS