until June 1, 2021: submission of new benchmarks and final versions of tools
until July 10, 2021: Competition, internal release of results
July 18-22, 2020: Presentation at SYNT 2021 and CAV 2021
until June 1, 2021: submission of new benchmarks and final versions of tools
until July 10, 2021: Competition, internal release of results
July 18-22, 2020: Presentation at SYNT 2021 and CAV 2021
Pingback: SYNTCOMP 2015: Schedule, Rules, FAQ, Submission | Reactive Synthesis Competition