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