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

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

July 22-27, 2024: Presentation at SYNT 2024 and CAV 2024

One thought on “Schedule

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

Leave a Reply

Your email address will not be published. Required fields are marked *