The Langlands Program is a branch of algebraic number theory. It is a more complicated version of class field theory.