IEEE Symposium on Foundations of Computer Science – FOCS

The IEEE Symposium on Foundations of Computer Science (FOCS) is organized under the sponsorship of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF), a specialized committee focused on theory of computation and the mathematical foundations of computer science, including algorithm analysis, computational complexity, and the design of computational models and systems.