June 1: submission of new benchmarks to be considered for evaluations coming year

July 1: competition results freeze + internal release of results

SYNT workshop & CAV conference: presentation of most recent results

Note: we accept (updated) tools all year round!