SYNT 2018 will host two competitions of synthesis tools:
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 2018 will host the fifth syntax-guided synthesis competition (SyGuS-Comp). 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. SYNT 2018 will host the fifth reactive synthesis competition (SYNTCOMP). For more information, visit www.syntcomp.org.