[gambit-list] PPDP 2015: 2nd call for papers