[gambit-list] ICFP 2012 Call for papers