Document is current

Chapter History

First Online: 19 November 2020

Conference Information

Conference Acronym: SBMF

Conference Name: Brazilian Symposium on Formal Methods

Conference City: Ouro Preto

Conference Country: Brazil

Conference Year: 2020

Conference Start Date: 25 November 2020

Conference End Date: 27 November 2020

Conference Number: 23

Conference ID: sbmf2020

Conference URL: http://sbmf2020.ufop.br/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 17

Number of Full Papers Accepted: 10

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 59% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 1

External Reviewers Involved: Yes

Additional Info on Review Process: 3 invited talks are also included. The symposium was held virtually due to the COVID-19 pandemic.