[gambit-list] Call for Papers: ICFP 2017