Katz, Guy
Huang, Derek A.
Ibeling, Duligur
Julian, Kyle
Lazarus, Christopher
Lim, Rachel
Shah, Parth
Thakoor, Shantanu
Wu, Haoze
Zeljić, Aleksandar
Dill, David L.
Kochenderfer, Mykel J.
Barrett, Clark
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