Important Dates
| Jan. 14, 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) |
| Jan. 31, 2019 | Notifications and tool reviews; list of qualified competition candidates published; Qualified competition candidates can resubmit a new version of the verifier (evaluation phase starts) |
| Feb. 10, 2019 | Offline benchmarking phase completed and competition results communicated to the participants (evaluation phase ends) |
| Feb. 15, 2019 | Publication of competition results |
| Feb. 20, 2019 | Paper deadline for submission of system descriptions (4-page papers, via EasyChair) |
| July 15, 2019 | Camera-ready paper deadline for summary papers of qualified competition candidates (4 pages, STTT special issue) |