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

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

July 18-24, 2021: Presentation at SYNT 2021 and CAV 2021

1 thought on “Schedule

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

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.