Durán, Francisco http://orcid.org/0000-0001-5864-8094
Eker, Steven http://orcid.org/0000-0001-9154-262X
Escobar, Santiago http://orcid.org/0000-0002-3550-4781
Martí-Oliet, Narciso http://orcid.org/0000-0002-6576-762X
Meseguer, José http://orcid.org/0000-0003-4779-3848
Rubio, Rubén http://orcid.org/0000-0003-2983-3404
Talcott, Carolyn http://orcid.org/0000-0003-2845-7144
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