Important Dates

Nov. 1, 2023 Submission deadline for verification tasks (via pull request in sv-benchmarks repo)
Nov. 1, 2023 Abstract deadline (paper abstracts via EasyChair; register and submit participating system for a qualification run, to check if all options are correctly set and the environment is prepared)
Nov. 13, 2023 Freezing of verification tasks (pull requests after deadline only merged after jury approval)
Nov. 22 Nov. 23, 2023 Notifications and tool reviews; list of qualified competition candidates published
Nov. 22 Nov. 23, 2023 Competition candidates can resubmit a new version of the verifier (evaluation phase starts)
Dec. 1, 2023 Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends)
Dec. 5, 2023 Publication of competition results
Dec. 22, 2023 Paper deadline for submission of system descriptions
Jan. 20, 2024 Paper notification
Jan. 27, 2024 Camera-ready paper deadline for summary papers of qualified competition candidates