30th Annual Symposium on Foundations of Computer Science