Proceedings of the ACM Symposium on Theory of Computing

Proceedings of the ACM Symposium on Theory of Computing
Name	Proceedings of the ACM Symposium on Theory of Computing
Discipline	Theoretical computer science
Abbreviation	STOC Proceedings
Publisher	Association for Computing Machinery
Country	United States

Contents

Proceedings of the ACM Symposium on Theory of Computing The Proceedings of the ACM Symposium on Theory of Computing collect peer-reviewed papers presented at the annual ACM Symposium on Theory of Computing, a flagship venue that shapes research agendas in Association for Computing Machinery, Stanford University, Massachusetts Institute of Technology, Princeton University, and University of California, Berkeley. The proceedings archive advances in algorithm design, complexity theory, cryptography, and computational models, attracting submissions from researchers affiliated with Harvard University, University of Cambridge, University of Oxford, California Institute of Technology, and Carnegie Mellon University.

Overview

The proceedings function as the formal record for the symposium sponsored by the Association for Computing Machinery and its Special Interest Group on Algorithms and Computation Theory, reflecting peer-reviewed contributions from investigators at Bell Labs, Microsoft Research, Google Research, IBM Research, and Intel Corporation. Each volume documents developments in topics previously explored at venues such as the International Conference on Machine Learning, the Conference on Neural Information Processing Systems, the International Colloquium on Automata, Languages and Programming, the Symposium on Foundations of Computer Science, and the European Symposium on Algorithms. The proceedings are indexed alongside publications from American Mathematical Society, SIAM, IEEE Computer Society, and Springer Nature.

The symposium and its proceedings trace roots to early computing gatherings that included contributors from Bell Labs, AT&T Corporation, RAND Corporation, IBM, and University of Pennsylvania, evolving through influences from figures associated with Turing Award recipients and institutions linked to Alan Turing, John von Neumann, Alonzo Church, Stephen Cook, and Richard Karp. Over decades, the proceedings reflected paradigm shifts documented alongside milestones such as the Gödel Prize, the Nevalinna Prize, and developments concurrent with work at I.B.M. Watson Research Center and Xerox PARC. Editions of the proceedings have chronicled transitions from foundational results in the 1970s to modern connections with research at Facebook AI Research, Amazon Research, NVIDIA Research, and projects influenced by policies of the National Science Foundation.

Volumes are produced under the aegis of the Association for Computing Machinery with editorial oversight by program committees drawn from faculty at Cornell University, Yale University, University of Illinois Urbana–Champaign, University of Washington, and University of Toronto. Submissions undergo double-blind peer review coordinated by chairs who may have affiliations with Princeton University, Columbia University, University of Michigan, Johns Hopkins University, and University of Chicago, and decisions align with best practices used by Nature Publishing Group and Science (journal). Accepted papers are archived alongside proceedings from the International Conference on Very Large Data Bases, the Annual IEEE Symposium on Foundations of Computer Science, and the ACM Conference on Computer and Communications Security.

The symposium program integrates invited talks, contributed papers, and panel sessions featuring speakers associated with Royal Society, National Academy of Sciences, European Research Council, Canadian Institute for Advanced Research, and industrial labs like Microsoft Research Redmond, Google DeepMind, Apple Inc., IBM Research Almaden, and Bell Labs Innovations. Typical topics mirror research trends seen at the International Colloquium on Automata, Languages and Programming and include algorithmic complexity, lower bounds, randomized algorithms, derandomization, streaming algorithms, sublinear-time algorithms, and cryptographic protocols with ties to work at RSA Security, IETF, European Telecommunications Standards Institute, and institutions connected to Claude Shannon and Donald Knuth.

Proceedings volumes have served as primary citation sources for breakthroughs referenced in award citations such as the Turing Award, the Gödel Prize, and the Nevalinna Prize, and have influenced curricula at Massachusetts Institute of Technology, Stanford University, University of California, Berkeley, Princeton University, and Harvard University. Results first appearing in the proceedings have catalyzed follow-on work at Microsoft Research, Google Research, IBM Research, Amazon Web Services, and have informed policy discussions at the National Science Foundation and funding initiatives of the European Commission.

The proceedings have published seminal papers connected to award-winning work by researchers honored with the Turing Award, the Gödel Prize, and the ACM Prize in Computing, often involving authors from Princeton University, Harvard University, Stanford University, Columbia University, Yale University, University of Maryland, Brown University, Dartmouth College, University of California, San Diego, and ETH Zurich. Landmark contributions include results that later formed part of monographs published by Springer-Verlag, Cambridge University Press, and Oxford University Press, and that influenced standards and implementations by organizations like IETF and W3C.

Category:Theoretical computer science conferences