[gambit-list] ICFP 2014: Call for papers