The SyGuS-COMP competitions are organized by Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama. The competitions are organized under the NSF grant 1138996 - Expedition in Computer Augmented Program Engineering ExCAPE.
Follow this link to join SyGuS mailing list.
Contact the organizers via email@example.com.
Join the SyGuS community on StarExec, where you can access the public benchmarks and the public solvers, run these solvers or your own solver on these benchmarks or your own benchmarks. We are thankful to the StarExec team for allowing the SyGuS community to enjoy their wonderful platform.
Visit our sister competition on reactive synthesis SyntComp