Update: Workshop on ∞-categories and their applications