1: \begin{abstract}

2: We study nuclear propagation through avoided crossings of

3: electron energy levels.

4: We construct a surface hopping semigroup, which gives an Egorov-type description of the dynamics. The underlying time-dependent

5: Schr\"odinger equation  has a two-by-two

6: matrix-valued potential, whose eigenvalue surfaces have an

7: avoided crossing. Using microlocal

8: normal forms reminiscent of the Landau-Zener problem, we prove

9: convergence to the true solution in the semi-classical limit.  

10: \end{abstract}

11: