Title: The Derived Proj Construction
Abstract: In classical scheme theory it is well-established that one may construct projective schemes from graded commutative rings. In this talk, I will discuss an analogous construction in the derived setting, drawing on the recent work of Jeroen Hekking. The specific features in this setting will be emphasized.