We present recent results for the prediction of the B 0 s −B 0 s lifetime difference from lattice Heavy Quark Effective Theory simulations. In order to get a next-to-leading order result we have calculated the matching between QCD and HQET and the two loop anomalous dimension in the HQET for all the ∆B = 2 operators, in particular for the operators which enter in the width difference. We obtain for the B 0 s −B 0 s lifetime difference, ∆Γ Bs Γ Bs = (5.1 ± 1.9 ± 1.7) × 10 −2 .