Shimura varieties play an important role in the Langlands program. In this talk I will explain a conjectural fiber product structure on them as p-adic adic spaces, which generalizes the fiber product formula of Mantovan. To understand the conjecture for PEL-type Shimura varieties is an ongoing thesis project.