Fall 2017: Geometric Langlands and Derived Algebraic Geometry