[gambit-list] ICFP 2015: Final Call for Papers