Document is current
Any future updates will be listed below
-
Authors
Vinkhuijzen, Lieuwe https://orcid.org/0000-0002-8199-0901
Grurl, Thomas https://orcid.org/0000-0002-9278-488X
Hillmich, Stefan https://orcid.org/0000-0003-1089-3263
Brand, Sebastiaan https://orcid.org/0000-0002-7666-2794
Wille, Robert https://orcid.org/0000-0002-4993-7860
Laarman, Alfons https://orcid.org/0000-0002-2433-4174
- 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
