Document is current
Any future updates will be listed below
-
Authors
Sheng, Ying
Nötzli, Andres
Reynolds, Andrew
Zohar, Yoni
Dill, David
Grieskamp, Wolfgang
Park, Junkil
Qadeer, Shaz
Barrett, Clark
Tinelli, Cesare
- License Information
-
More Information
Chapter History
First Online: 1 August 2022
Conference Information
Conference Acronym: IJCAR
Conference Name: International Joint Conference on Automated Reasoning
Conference City: Haifa
Conference Country: Israel
Conference Year: 2022
Conference Start Date: 8 August 2022
Conference End Date: 10 August 2022
Conference Number: 11
Conference ID: ijcar2022
Conference URL: https://easychair.org/smart-program/FLoC2022/IJCAR-index.html
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 85
Number of Full Papers Accepted: 32
Number of Short Papers Accepted: 9
Acceptance Rate of Full Papers: 38% - 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.2
Average Number of Papers per Reviewer: 5.2
External Reviewers Involved: Yes
