Schedule

(Updates in red below)

until May 7, 2017: submission of new benchmarks

until May 25, 2017: submission of initial versions of tools

until June 1, 2017: submission of final versions of tools

until July 15, 2017: Competition, internal release of results

July 22-28, 2017: Presentation at SYNT 2017 and CAV 2017

One thought on “Schedule

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

Leave a Reply