Workshop on the paper of Galatius-Venkatesh on derived Galois deformation rings.