Important Dates

Sep. 22, 2017 Submission deadline for verification tasks
Oct. 7, 2017 Category structure frozen Chair announced as final already
Oct. 20, 2017
Oct. 27, 2017		 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)
Oct. 27, 2017
Oct. 30, 2017		 Paper deadline for submission of system descriptions (4-page papers, via EasyChair)
Nov. 12, 2017
Nov. 22, 2017		 Freezing of verification tasks
Nov. 20, 2017
Nov. 27, 2017		 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, 2017
Dec. 7, 2017		 Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends)
Dec. 6, 2017
Dec. 15, 2017		 Publication of competition results
Feb. 23, 2018 Camera-ready paper deadline for summary papers of qualified competition candidates (4 pages, LNCS style)