Seminar of the Research Training Group "Symmetries and Classifying Spaces: analytic, arithmetic and derived"