Symposium on Foundations of Computer Science