After recalling how some 4d N=2 gauge theories arise from reductions of 6d N=(2,0) superconformal theories on

a Riemann surface, I will discuss two discrete quotients with codimension 2 orbifold singularities. In the first

case the orbifold acts by rotations around one plane of the 4d N=2 theory; this is related to a Gukov-Witten

surface operator that imposes a monodromy around that plane. We deduce instanton partition functions in the

presence of surface operators; interestingly, instantons can fractionalize. In the second case the orbifold acts by

reflection on the 4d theory and the Riemann surface. We learn how boundaries are encoded in the AGT

correspondence. We are led to consider 4d N=2 quiver theories where some vector multiplets live on a

hemisphere and others on a projective space.