Seminarium Teorii Względności i Grawitacji

There has been recently a lot of activity in numerically constructing stationary solutions of the Einstein-matter field equations with a negative cosmological constant. I will review these results and show how to prove existence of many families of such solutions.