Annual IEEE Symposium on Foundations of Computer Science