Document is current
Any future updates will be listed below
-
Authors
Alves, Thayonara http://orcid.org/0000-0002-3841-0190
Teixeira, Leopoldo http://orcid.org/0000-0002-6154-1666
Alves, Vander http://orcid.org/0000-0003-1573-048X
Castro, Thiago http://orcid.org/0000-0001-5758-2097
- License Information
-
More Information
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.
