Derived differential geometry and applications

I will review some recent progress in derived differential geometry, in particular pertaining to moduli stacks of solutions of elliptic partial differential equations on manifolds (with boundaries, and also with `logarithmic' boundaries, which include, for instance, manifolds with asymptotically cylindrical ends). In particular, this framework allows one to work efficiently with the compactified moduli spaces of symplectic topology and gauge theory. In another direction, I will explain some work in progress on the derived geometry of jet spaces, which can be used to endow moduli stacks of solutions of EOMs of a classical field theory with shifted symplectic structures.