Foundations of Computer Science, Annual IEEE Symposium on