Gromov-Witten theory with derived algebraic geometry

In this survey we add two new results that are not in our paper [MR15]. Using the idea of brane actions discovered by Toen, we construct a lax associative action of the operad of stable curves of genus zero on a smooth variety X seen as an object in correspondences in derived stacks. This action encodes the Gromov-Witten theory of X in purely geometrical terms.