Backes, John
Bayless, Sam
Cook, Byron
Dodge, Catherine
Gacek, Andrew
Hu, Alan J.
Kahsai, Temesghen
Kocik, Bill
Kotelnikov, Evgenii
Kukovec, Jure
McLaughlin, Sean
Reed, Jason
Rungta, Neha
Sizemore, John
Stalzer, Mark
Srinivasan, Preethi
Subotić, Pavle
Varming, Carsten
Whaley, Blake
Chapter History
First Online: 12 July 2019
Conference Information
Conference Acronym: CAV
Conference Name: International Conference on Computer Aided Verification
Conference City: New York City, NY
Conference Country: USA
Conference Year: 2019
Conference Start Date: 15 July 2019
Conference End Date: 18 July 2019
Conference Number: 31
Conference ID: cav0
Conference URL: http://i-cav.org/2019/
Peer Review Information (provided by the conference organizers)
Type: Double-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 258
Number of Full Papers Accepted: 67
Number of Short Papers Accepted: 0
Acceptance Rate of Full Papers: 26% - 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: 9
External Reviewers Involved: No