Metric Measure Spaces and Ricci Curvature, September 4-29, 2017