Workshop on "$\infty$-categories and their applications", August 17 - 21, 2020