Seminar on BV formalism Spring 2022