[gambit-list] ICFP 2015: Call for Papers