  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.
