An outline of shifted Poisson structures and deformation quantisation in derived differential geometry

We explain how to translate several recent results in derived algebraic geometry to derived differential geometry. These concern shifted Poisson structures on NQ-manifolds, Lie groupoids, smooth stacks and derived generalisations, and include existence and classification of various deformation quantisations.