Backes, John
Berrueco, Ulises
Bray, Tyler
Brim, Daniel
Cook, Byron
Gacek, Andrew
Jhala, Ranjit
Luckow, Kasper
McLaughlin, Sean
Menon, Madhav
Peebles, Daniel
Pugalia, Ujjwal
Rungta, Neha
Schlesinger, Cole
Schodde, Adam
Tanuku, Anvesh
Varming, Carsten
Viswanathan, Deepa
Chapter History
First Online: 14 July 2020
Conference Information
Conference Acronym: CAV
Conference Name: International Conference on Computer Aided Verification
Conference City: Los Angeles, CA
Conference Country: USA
Conference Year: 2020
Conference Start Date: 21 July 2020
Conference End Date: 24 July 2020
Conference Number: 32
Conference ID: cav2020
Conference URL: http://i-cav.org/2020/
Peer Review Information (provided by the conference organizers)
Type: Double-blind
Conference Management System: EasyChair.org
Number of Submissions Sent for Review: 240
Number of Full Papers Accepted: 43
Number of Short Papers Accepted: 22
Acceptance Rate of Full Papers: 18% - 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: 4
Average Number of Papers per Reviewer: 11
External Reviewers Involved: Yes
Additional Info on Review Process: The conference was held virtually due to the COVID-19 pandemic.