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
SyGus-Comp will not be held this year.
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
SYNT 2020 will host the seventh reactive synthesis competition (SYNTCOMP 2020).