Important Dates

Sep. 22, 2018 Submission deadline for verification tasks
Oct. 20, 2018 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. 5, 2018 Freezing of verification tasks
Nov. 20, 2018 Notifications and reviews; list of qualified competition candidates published;
Qualified competition candidates can resubmit a new version of the verifier (evaluation phase starts)
Dec. 1, 2018 Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends)
Dec. 6, 2018 Publication of competition results
Jan. 15, 2019 Paper deadline for submission of system descriptions (4-page papers, via EasyChair)
Feb. ??, 2019 Camera-ready paper deadline for summary papers of qualified competition candidates (4 pages, LNCS style)