The ACM Symposium on Theory of Computing is a flagship theoretical computer science conference covering algorithms, complexity, analysis of Boolean functions, cryptography, computational learning theory, optimization, logic, and algebraic computation.
by ACM Special Interest Group on Algorithms and Computation Theory