[gambit-list] Deadline extension: Workshop on Generic Programming 2015 - New deadline May 22