SUMMER 2016 HOMOTOPY THEORY SEMINAR