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
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
Pingback: SYNTCOMP 2015: Schedule, Rules, FAQ, Submission | Reactive Synthesis Competition