I will explain how the perturbative quantization gives rise to Feynman diagrams on arbitrary spacetime manifolds, and how to extend the procedure to gauge theories using the BV formalism. Time permitting, I will explain how to extend these methods to the case with boundary using the BV-BFV formalism.