The BV-BFV formalism unifies the BV formalism (which deals with the problem of fixing the gauge of field theories on closed manifolds) with the BFV formalism (which yields a cohomological resolution of the reduced phase space of a classical field theory). I will explain how this formalism arises and how it can be quantized.