A report on Tarski's decidability problem
  This paper contains a list of crucial mistakes and counterexamples to some of the main statements in the paper "Elementary theory of free nonabelian groups" by O. Kharlampovich and A. Myasnikov, which was published in the Journal of Algebra in June 2006. 
Z. Sela
math.GR math.LO