IMPRS seminar on various topics: $\infty$-categories