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