SoS Quarterly Lablet Meeting, July '17 at CMU