Document is current
Any future updates will be listed below
-
Authors
Alrabbaa, Christian https://orcid.org/0000-0002-2925-1765
Baader, Franz https://orcid.org/0000-0002-4049-221X
Borgwardt, Stefan https://orcid.org/0000-0003-0924-8478
Dachselt, Raimund https://orcid.org/0000-0002-2176-876X
Koopmann, Patrick https://orcid.org/0000-0001-5999-2583
Méndez, Julián https://orcid.org/0000-0003-1029-7656
- 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
