Solvable lattice models in representation theory and K-theory

Solvable lattice models are ice-like grids which originated in statistical mechanics and are associated with solutions of the Yang-Baxter equation from quantum group modules. They are often used as a source of combinatorial formulas for special functions from several areas of math, including the (equivariant) cohomology and K-theory of the flag variety and the representation theory of complex or p-adic groups. In this talk, we will give a brief introduction to these models and describe several examples in varying generality.