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