2011 IEEE 52nd Annual Symposium on Foundations of Computer Science