In this monograph, the authors develop a new theory of p-adic cohomology for varieties over Laurent series fields in positive characteristic, based on Berthelot's theory of rigid cohomology. Many major fundamental properties of these cohomology groups are proven, such as finite dimensionality and cohomological descent, as well as interpretations in terms of Monsky-Washnitzer cohomology and Le S…