[gambit-list] ICFP 2013: Second Call for Papers