the classical langlands correspondence relates representations of a reductive algebraic group over a local non-archimedian field $f$ and representations of the galois group of $f$. if we replace $f$ by the field $c((t))$ of complex laurent power series, then the corresponding group becomes the (formal) loop group. it is natural to ask: is there an analogue of the langlands correspondence in this case? it turns out that the answer is affirmative, and there is an interesting theory which may be viewed as both "geometrization" and "categorification" of the classical theory. i will explain the general set-up for this new theory and give some examples using representations of affine kac-moody algebras.