We first introduce new algebras of generalized functions containing Gevrey ultradistributions and then develop a Gevrey microlocal analysis suitable for these algebras. Finally, we give an application through an extension of the well-known Hörmander's theorem on the wave front of the product of two distributions.