I will explain the AGT conjecture and its K-theoretic analogue. The conjecture states (deformed) W-algebras should act on the equivariant cohomology groups (or K-theory) of instanton moduli spaces over CP^2. If have enough time, I will also explain combinatorial conjectures on the Whittaker vectors of deformed W-algebras.