Kohlhase, Michael
Rabe, Florian
Sacerdoti Coen, Claudio
Schaefer, Jan Frederik
Chapter History
First Online: 24 June 2020
Conference Information
Conference Acronym: IJCAR
Conference Name: International Joint Conference on Automated Reasoning
Conference City: Paris
Conference Country: France
Conference Year: 2020
Conference Start Date: 1 July 2020
Conference End Date: 4 July 2020
Conference Number: 10
Conference ID: ijcar2020
Conference URL: https://ijcar2020.org/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 150
Number of Full Papers Accepted: 46
Number of Short Papers Accepted: 5
Acceptance Rate of Full Papers: 31% - 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.03
Average Number of Papers per Reviewer: 7.38
External Reviewers Involved: No
Additional Info on Review Process: 11 system descriptions are also included. The conference was held virtually due to the COVID-19 pandemic.
Free to read: This content has been made available to all.