Categories |
FORMAL METHODS
COMPUTER SCIENCE
SOFTWARE TESTING
|
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:
|
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
|
Credits and Sources |
[1] SBMF 2020 : 23rd Brazilian Symposium on Formal Methods |