Derived algebraic geometry and Shimura varieties: Tue, Th 11am-12pm