until July 1July 8, 2022: submission of new benchmarks and final versions of tools

until August 1, 2022: Competition, internal release of results

August 7-12, 2022: Presentation at SYNT 2022 and CAV 2022

1 thought on “Schedule

  1. Pingback: SYNTCOMP 2015: Schedule, Rules, FAQ, Submission | Reactive Synthesis Competition

Leave a Reply

Your email address will not be published. Required fields are marked *