Gauge theory and the geometric Langlands program

The geometric Langlands program has to do with the compactification of N=4 super Yang-Mills from four dimensions to two dimensions on a Riemann surface.
http://insti.physics.sunysb.edu/itp/conf/simonswork3/talks/Witten.pdf