• Paper Submission:
    May 20, 2021 May 27 2021

    Author Notification:
    June 10, 2021 June 17th 2021

    July 19 2021


Syntax-Guided Synthesis Competition

In syntax-guided synthesis, the logical specification of a system can be supplemented with a syntactic template that constrains the space of allowed implementations, thus narrowing the search space and potentially leading to better implementations.

SyGus-Comp will not be held this year.

Reactive Synthesis Competition

The reactive synthesis competition considers two classes of synthesis problems: the synthesis of reactive controllers for a given circuit in AIGER format, and the synthesis of reactive components based on a linear temporal logic specification.

SYNT 2021 will host the seventh reactive synthesis competition (SYNTCOMP 2021).