From, Asta Halkjær http://orcid.org/0000-0002-3601-0804
Villadsen, Jørgen http://orcid.org/0000-0003-3624-1159
Chapter History
First Online: 14 September 2023
Conference Information
Conference Acronym: TABLEAUX
Conference Name: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference City: Prague
Conference Country: Czech Republic
Conference Year: 2023
Conference Start Date: 18 September 2023
Conference End Date: 21 September 2023
Conference Number: 32
Conference ID: tableaux2023
Conference URL: http://tableaux2023.tableaux-ar.org/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: Easychair
Number of Submissions Sent for Review: 43
Number of Full Papers Accepted: 20
Number of Short Papers Accepted: 5
Acceptance Rate of Full Papers: 47% - 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.92)
Average Number of Papers per Reviewer: 3
External Reviewers Involved: Yes