[gambit-list] <Programming> 2017: Final call for workshop, symposium, demo & poster submissions