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.
J. P. Pridham (Wed,) studied this question.