| 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 |
