SYNT 2019 will host two competitions of synthesis tools whose results will be presented at the workshop:
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. SYNT 2019 will host the sixth syntax-guided synthesis competition (SyGuS-Comp). For more information, visit https://sygus.org/comp/2019/.
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 2019 will host the sixth reactive synthesis competition (SYNTCOMP). For more information, visit www.syntcomp.org.