• Paper Submission:
    May 20, 2020

    Author Notification:
    June 10, 2020

    July 19, 2020


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 2020 will host the seventh reactive synthesis competition (SYNTCOMP 2020).