[gambit-list] 2nd Call for papers - <Programming> 2017