The IEEE Annual Symposium on Foundations of Computer Science is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society.