Document is current
Any future updates will be listed below
-
Authors
Evrard, Hugues https://orcid.org/0009-0001-7956-0371
Donaldson, Alastair F. https://orcid.org/0000-0002-7448-7961
- License Information
-
More Information
Chapter History
First Online: 2 May 2023
Conference Information
Conference Acronym: SPIN
Conference Name: International Symposium on Model Checking Software
Conference City: Paris
Conference Country: France
Conference Year: 2023
Conference Start Date: 26 April 2023
Conference End Date: 27 April 2023
Conference Number: 29
Conference ID: spin2023
Conference URL: https://spin-web.github.io/SPIN2023/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: Easy Chair
Number of Submissions Sent for Review: 21
Number of Full Papers Accepted: 9
Number of Short Papers Accepted: 2
Acceptance Rate of Full Papers: 43% - 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: 2.3
External Reviewers Involved: Yes
