Join the SyGuS mailing list: http://lists.seas.upenn.edu/mailman/listinfo/synthlib
Contact SyGuS-Comp organizers via firstname.lastname@example.org
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.
The SyGuS competition (SyGuS-Comp) is organized by Rajeev Alur (University of Pennsylvania),
Dana Fisman (Ben-Gurion University), Rishabh Singh (Google Brain) and Abhishek Udupa (Microsoft).
The competition was initiated as part of the NSF ExCAPE grant #1138996.