Document is current

Chapter History

First Online: 21 October 2019

Conference Information

Conference Acronym: ATVA

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

Conference City: Taipei

Conference Country: Taiwan

Conference Year: 2019

Conference Start Date: 28 October 2019

Conference End Date: 31 October 2019

Conference Number: 17

Conference ID: atva2019

Conference URL: http://atva2019.iis.sinica.edu.tw/

Peer Review Information (provided by the conference organizers)

Type: Open

Conference Management System: Easychair

Number of Submissions Sent for Review: 87

Number of Full Papers Accepted: 29

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 33% - 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.4

Average Number of Papers per Reviewer: Between 1 and 2

External Reviewers Involved: Yes