DG Indschemes
  We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between classical and derived indschemes and the notion of formal smoothness. 
Dennis Gaitsgory and Nick Rozenblyum
math.AG