The SyGuS-COMP competition is organized by Rajeev Alur, Dana Fisman, Rishabh Singh and Abhishek Udupa. The competitions was initiated as part of 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