IMPRS seminar on various topics: Equivariant homotopy theory