SYNT 2017 will host the 4th annual Reactive Synthesis Competition (SYNTCOMP 2017) and the 4th annual Syntax-Guided Synthesis Competition (SyGuS-COMP 2017). Contributors of solvers and benchmarks to these competitions are strongly encouraged to submit a full lenght paper on their contribution to SYNT 2017.

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.
For more information, visit www.sygus.org.

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.
For more information, visit www.syntcomp.org.