Schedule

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

until June 1, 2018: submission of new benchmarks and final versions of tools

until July 10, 2018: Competition, internal release of results

July 14-18, 2018: Presentation at FLoC 2018 and SYNT 2018

One thought on “Schedule

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

Leave a Reply