  We construct transversal slices to the closures of spherical and Iwahori
orbits in loop spaces of symmetric varieties generalizing a construction of
Mars-Springer in the finite dimensional setting. We show that those slices are
isomorphic to certain Lagrangian subvarieties of the affine Grassmannian
slices. We provide applications to the formality conjecture in relative
Langlands duality.
