Workshop on ∞-categories and their applications