Non-commutative, Derived and Homotopical Methods in Geometry, 2016