2010 IEEE 51st Annual Symposium on Foundations of Computer Science