  This text is a survey of derived algebraic geometry. It covers a variety of
general notions and results from the subject with a view on the recent
developments at the interface with deformation quantization.
