Important Dates

Oct. 9, 2021 Submission deadline for test tasks (via pull request in sv-benchmarks repo)
Oct. 15, 2021 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. 12, 2021 Freezing of test tasks (pull requests after deadline only merged after jury approval)
Nov. 19, 2021 Notifications and tool reviews; list of qualified competition candidates published;
Qualified competition candidates can resubmit a new version of the verifier (evaluation phase starts)
Dec. 3, 2021 Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends)
Dec. 10, 2021 Publication of competition results
Dec. 17, 2021 Paper deadline for submission of system descriptions (4-page papers, incl. refs, via EasyChair)
Jan. 14, 2022 Paper notification
Jan. 26, 2022 Camera-ready paper deadline for summary papers of qualified competition candidates (4 pages, LNCS style)