Important Dates

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