In the first part of this course, we give an overview of the computation of the p-adic cohomology of varieties over local fields using the theory of (phi,Gamma)-modules, following Colmez and Niziol. In the second part, we discuss applications of this theory to the problem of explicit reciprocity laws.