Document is current

Chapter History

First Online: 12 October 2021

Conference Information

Conference Acronym: ATVA

Conference Name: International Symposium on Automated Technology for Verification and Analysis

Conference City: Gold Coast, QLD

Conference Country: Australia

Conference Year: 2021

Conference Start Date: 18 October 2021

Conference End Date: 22 October 2021

Conference Number: 19

Conference ID: atva2021

Conference URL: https://formal-analysis.com/atva/2021/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 75

Number of Full Papers Accepted: 19

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 25% - 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: 3

External Reviewers Involved: No

Additional Info on Review Process: In addition there are 4 tool papers. The conference was held online because of the COVID-19 pandemic.