Fixing moduli in exact type IIA flux vacua

Type IIA flux compactifications with O6-planes have been argued from a four dimensional effective theory point of view to admit stable, moduli free solutions. We discuss in detail the ten dimensional description of such vacua and present exact supersymmetric solutions in the case when the O6-charge is smoothly distributed: the geometry is Calabi-Yau and the dilaton is constant. In the localized case, the solution is a half-flat, non-Calabi-Yau metric but still with constant dilaton. Finally, using the ten dimensional description we show how all moduli are stabilized and reproduce precisely the results of de Wolfe et al. [arXiv:hepth/ 0505160]. This talk is based on [arXiv:hep-th/0607223].