STOC 全称为 ACM Symposium on Theory of Computing，即 ACM 计算理论年会，被公认是计算机科学领域难度最高的国际会议之一，在整个计算机科学领域享有崇高的声望。历年会议涵盖的领域十分广泛，包括算法和数据结构、计算复杂性、密码学、计算几何、算法图论与组合学、计算随机性、计算博弈论和量子计算等。