[gambit-list] <Programming> 2018: 2nd Call for Papers