Important Dates
| Oct. 9, 2020 | Submission deadline for test tasks (via pull request in sv-benchmarks repo) |
| Oct. 16, 2020 | 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 20, 2020 | Freezing of test tasks (pull requests after deadline only merged after jury approval) |
| Nov. 20 Dec. 7, 2020 | 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. 4 16, 2020 | Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends) |
| Dec. 11 18, 2020 | Publication of competition results |
| Dec. 18, 2020 | Paper deadline for submission of system descriptions (4-page papers, incl. refs, via EasyChair) |
| Jan. 15, 2021 | Paper notification |
| Jan. 22, 2021 | Camera-ready paper deadline for summary papers of qualified competition candidates (4 pages, LNCS style) |