ACM Symposium on Theory of Computing

E100034

academic conference computer science conference theoretical computer science conference

The ACM Symposium on Theory of Computing (STOC) is a premier annual research conference in theoretical computer science, featuring groundbreaking work in algorithms, complexity theory, cryptography, and related areas.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

AI illustration

All labels observed (6)

Label	Occurrences
STOC	6
ACM Symposium on Theory of Computing canonical	5
STOC conference proceedings	2
ACM STOC	1
ACM STOC conference	1
ACM Symposium on Theory of Computing proceedings series	1

How this entity was disambiguated

This entity first appeared as the object of triple T831538 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: ACM Symposium on Theory of Computing
Context triple: [Gödel Prize, typicalVenue, ACM Symposium on Theory of Computing]

A. Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing is a 1985 ACM conference volume collecting influential research papers in theoretical computer science, including foundational work on topics such as interactive proof systems and computational complexity.
B. Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
C. PODS Conference (jointly with ACM SIGACT)
The PODS Conference (jointly with ACM SIGACT) is a premier international research conference focused on the theoretical foundations of data management and database systems.
D. European Association for Theoretical Computer Science
The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
E. International Colloquium on Automata, Languages and Programming
The International Colloquium on Automata, Languages and Programming (ICALP) is a leading annual conference in theoretical computer science, focusing on automata theory, formal languages, algorithms, and computational complexity.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: ACM Symposium on Theory of Computing
Target entity description: The ACM Symposium on Theory of Computing (STOC) is a premier annual research conference in theoretical computer science, featuring groundbreaking work in algorithms, complexity theory, cryptography, and related areas.

A. Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing is a 1985 ACM conference volume collecting influential research papers in theoretical computer science, including foundational work on topics such as interactive proof systems and computational complexity.
B. Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
C. PODS Conference (jointly with ACM SIGACT)
The PODS Conference (jointly with ACM SIGACT) is a premier international research conference focused on the theoretical foundations of data management and database systems.
D. European Association for Theoretical Computer Science
The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
E. International Colloquium on Automata, Languages and Programming
The International Colloquium on Automata, Languages and Programming (ICALP) is a leading annual conference in theoretical computer science, focusing on automata theory, formal languages, algorithms, and computational complexity.
F. None of above. chosen

Statements (50)

Predicate	Object
instanceOf	academic conference ⓘ computer science conference ⓘ theoretical computer science conference ⓘ
abbreviation	STOC ⓘ linked to: ACM Symposium on Theory of Computing
acceptsSubmissionType	research papers ⓘ
countryOfOrigin	United States ⓘ linked to: United States of America
field	algorithms ⓘ combinatorics ⓘ computational complexity theory ⓘ computational geometry ⓘ computer science ⓘ cryptography ⓘ distributed computing ⓘ game theory ⓘ quantum computing ⓘ theoretical computer science ⓘ
frequency	annual ⓘ
hasFormat	conference presentations ⓘ invited talks ⓘ plenary talks ⓘ proceedings publication ⓘ tutorials ⓘ workshops ⓘ
hasProceedingsPublisher	Association for Computing Machinery ⓘ
hasProceedingsSeries	Proceedings of the ACM Symposium on Theory of Computing ⓘ linked to: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
hasSisterConference	IEEE Symposium on Foundations of Computer Science ⓘ linked to: FOCS
inception	1969 ⓘ
isConsidered	flagship conference in theoretical computer science ⓘ top-tier theory of computing conference ⓘ
language	English ⓘ
organizer	ACM Special Interest Group on Algorithms and Computation Theory ⓘ linked to: SIGACT Association for Computing Machinery ⓘ
organizerAbbreviation	ACM SIGACT ⓘ linked to: SIGACT
peerReviewed	true ⓘ
reviewProcess	single-blind ⓘ
sisterConferenceAbbreviation	FOCS ⓘ
topic	algorithmic game theory ⓘ approximation algorithms ⓘ coding theory ⓘ communication complexity ⓘ complexity classes ⓘ computational learning theory ⓘ computational models ⓘ data structures ⓘ derandomization ⓘ hardness of approximation ⓘ online algorithms ⓘ pseudorandomness ⓘ quantum complexity theory ⓘ
typicalMonthHeld	June ⓘ

How these facts were elicited