A microscopic field theory for crystallization in active systems is proposed which unifies the phase-field-crystal model of freezing with the Toner-Tu theory for self-propelled particles. A wealth of different active crystalline states are predicted and characterized. In particular, for increasing strength of self-propulsion, a transition from a resting crystal to a traveling crystalline state is found where the particles migrate collectively while keeping their crystalline order. Our predictions, which are verifiable in experiments and in particle-resolved computer simulations, provide a starting point for the design of new active materials. PACS numbers: 64.70.dm,87.18.Gh,82.70.Dd Self-propelled particles [1] exhibit fascinating collective phenomena like swarming, swirling and laning which have been intensely explored by theory, simulation and experiment, for recent reviews see [2][3][4]. In marked contrast to passive particles, self-propelled "active" particles have an internal motor of propulsion, dissipate energy and are therefore intrinsically in nonequilibrium. Examples of active particles include living systems, like bacteria and microbes [5], as well as man-made microswimmers, catalytically driven colloids [6,7] and granular hoppers [8].If, at high densities, the particle interaction dominates the propulsion, crystallization in an active system is conceivable. It is expected that such "active crystals" have structural and dynamical properties largely different from equilibrium crystals due to the intrinsic drive. In fact, there is experimental evidence for active crystals, both from observations of hexagonal structures for catalytically-driven colloids [9] and honeycomb-like textures for flagellated marine bacteria [10,11]. Moreover, recent computer simulations have confirmed crystallization [12][13][14] and proved that melting of active crystals differs from its equilibrium counterpart. However, though field-theoretical modelling of active systems has been widely applied to orientational ordering phenomena [2,15], there is no such theory for translational ordering of active crystals nor has a systematic classification of active crystals been achieved.Here we present a microscopic field-theoretical approach to crystallization in active systems and we propose a minimal model which has the necessary ingredients for both, crystallization and activity. In doing so, we combine the phase-field crystal model of freezing [16] with the Toner-Tu model for active systems [17] using the concept of dynamical density functional theory [18,19]. On the one hand, the phase-field-crystal (PFC) model as originally introduced by Elder and coworkers [16,20] describes crystallization of passive particles on microscopic length and diffusive time scales. When brought into connection with dynamical density functional theory [21][22][23][24], the PFC model represents in principle a microscopic theory for crystallization, and it has been successfully applied to a plethora of solidification phenomena [16,20,[25][26][27][28][29]...