I will introduce a formalism analogous to the geometric engineering but for 3d gauge theories. The formalism is based on an algebraic framework of quantum toroidal algebras and explicitly reproduces partition functions of the gauge theories.
I will also show how the new formalism can be used to build screening operators for a large class of W-algebras.