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 |