Basics of the BV formalism - Part 2

If the Batalin-Vilkovisky formalism is a cohomological handle for field theories in the Lagrangian formalism, a similar construction can be set up for the associated Hamiltonian picture and goes under the name of Batalin, Fradkin and Vilkovisky (BFV).
The link between the two has been made explicit recently by Cattaneo, Mnev and Reshetikhin (CMR) as a tool to treat field theories on manifolds with boundary.
In this talk I will review the basics of the BFV and CMR constructions and show how they relate to what we have done so far.