[gambit-list] CfP <Programming> 2018: Research Papers Third Submission Deadline