Syntax-Guided Synthesis Competition http://www.sygus.org/competition.html というプログラム合成の競技会があるのか。 ソルバ投稿の〆切が6/15(日)で、もうちょっと早く知っていたら参加してみたかったかも。

昨年の ICFP Programming Contest のTwitterアカウント https://twitter.com/ICFPContest2013 で知ったのだけれど、昨年の ICFP Programming Contest が面白かった人は、参加してみるといいんじゅないかなぁ。