Annual ACM Symposium on Theory of Computing

Symposium on Discrete Algorithms

ACM-SIAM, held annually

IEEE Symposium on Foundations of Computer Science

The flagship conference sponsored by the IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing (TCMF) and covers a broad range of theoretical computer science

Annual Allerton Conference on Communications, Control and Computing

Draws some of the brightest minds from industry, academia, and government to discuss innovation in the fields of communication, control, and computing