A multiplicity formula of K-types

Abstract: In this talk, by using the trace formula method, I will prove a multiplicity formula of K-types for all representations of real reductive groups in terms of the Harish-Chandra character.