Graded manifolds, integartion on superspaces, homotopy Lie algebras, Mauer-Cartan euqation, BRST, BV path integral, geometry of BV quantization, Effective action, minimal models
Batalin-Vilkovisky formalism is used in theory of operads and in gauge theories. We shall introduce the BRST and
BV formalisms. The course is aimed at Masters and PhD students of mathematics and physics.