Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science [FOCS 2007] : October 20-23, 2007, Providence, Rhode Island / (IEEE Computer Society,)