Important Dates

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