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).