Workshop on derived special cycles and Kudla's modularity conjecture