- Bhatt: Algebraization and Tannaka Duality (lots of good results)
- MathOverflow answer
- References:
- Surveys:
- Rezk on spectral algebraic geometry
- Toën DAG survey
- Toën DAG and Deformation Quantization ICM lecture
- Toën-Vezzosi: From HAG to DAG: derived moduli spaces
- Vezzosi: What is a derived stack?
- Gaitsgory: Notes on Geometric Langlands: stacks
- Lurie: ICM address (deformation theory)
- Moursund Mathematics Lecture Series. Dr. Jacob Lurie, Lecture 1: “Theory of ‘Spectral’ Algebraic Geometry”

- Seminars:
- derived algebraic geometry seminar (Penn)
- Algebraic K-theory and Derived algebraic geometry
- derived algebraic geometry seminar
- Derived Algebraic Geometry Seminar
- DAG reading group (Fall 2011)
- Derived Algebraic Geometry seminar (Jerusalem 2010)
- Graduate Seminar. Geometric Representation theory. Fall 2009--Spring 2010

- Courses, lecture notes, etc:
- Adeel Khan's lecture notes:
- Minicourse by Rok Gregoric
- Pieter Belmans on the topos of derived stacks at Derived Algebraic Geometry Winter School 2013
- Minicurso de geometría algebraica derivada
- Talks by Benjamin Antieau at MSRI " Introductory Workshop: Derived Algebraic Geometry and Birational Geometry and Moduli Spaces"
- Paul Goerss Topological Algebraic Geometry (slides)
- Toën stuff