Registration for the workshop on "$\infty$-categories and their applications", August 17 - 21, 2020