Dimensional reduction and effective field theory methods are applied to the
Two Higgs Doublet Model at finite temperature. A sequence of two effective
three-dimensional field theories which are valid on successively longer di
stance scales is constructed. The resulting Lagrangian can be used to study
different aspects of the phase transition in this model as well as the sph
aleron rate immediately after the phase transition.