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