[gambit-list] Mathematics of Program Construction (MPC 2015): final call for papers