Document is current
Any future updates will be listed below
-
Authors
Coenen, Norine https://orcid.org/0000-0003-2066-1511
Dachselt, Raimund https://orcid.org/0000-0002-2176-876X
Finkbeiner, Bernd https://orcid.org/0000-0002-4280-8441
Frenkel, Hadar https://orcid.org/0000-0002-3566-0338
Hahn, Christopher https://orcid.org/0000-0002-1243-4880
Horak, Tom https://orcid.org/0000-0003-2896-5886
Metzger, Niklas https://orcid.org/0000-0003-3184-6335
Siber, Julian https://orcid.org/0000-0003-0842-0029
- License Information
-
More Information
Chapter History
First Online: 7 August 2022
Conference Information
Conference Acronym: CAV
Conference Name: International Conference on Computer Aided Verification
Conference City: Haifa
Conference Country: Israel
Conference Year: 2022
Conference Start Date: 7 August 2022
Conference End Date: 10 August 2022
Conference Number: 34
Conference ID: cav2022
Conference URL: http://i-cav.org/2022/
Peer Review Information (provided by the conference organizers)
Type: Double-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 209
Number of Full Papers Accepted: 40
Number of Short Papers Accepted: 11
Acceptance Rate of Full Papers: 19% - 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.9
Average Number of Papers per Reviewer: 9.7
External Reviewers Involved: Yes
