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

All labels observed (5)

Label	Occurrences
STOC	6
ACM Symposium on Theory of Computing canonical	4
STOC conference proceedings	2
ACM STOC	1
ACM STOC conference	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	ACM Symposium on Theory of Computing self-linksurface differs ⓘ surface form: STOC
acceptsSubmissionType	research papers ⓘ
countryOfOrigin	United States of America ⓘ surface form: United States
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 Seventeenth Annual ACM Symposium on Theory of Computing ⓘ surface form: Proceedings of the ACM Symposium on Theory of Computing
hasSisterConference	FOCS ⓘ surface form: IEEE Symposium on Foundations of Computer Science
inception	1969 ⓘ
isConsidered	flagship conference in theoretical computer science ⓘ top-tier theory of computing conference ⓘ
language	English ⓘ
organizer	SIGACT ⓘ surface form: ACM Special Interest Group on Algorithms and Computation Theory Association for Computing Machinery ⓘ
organizerAbbreviation	SIGACT ⓘ surface form: ACM 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

Referenced by (14)

Full triples — surface form annotated when it differs from this entity's canonical label.

Gödel Prize → typicalVenue → ACM Symposium on Theory of Computing ⓘ

Sanjam Garg → publishesIn → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC

ACM conferences → include → ACM Symposium on Theory of Computing ⓘ

this entity surface form: ACM STOC

Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing → eventSeries → ACM Symposium on Theory of Computing ⓘ

Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing → isPartOfSeries → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC conference proceedings

ACM Symposium on Theory of Computing → abbreviation → ACM Symposium on Theory of Computing self-linksurface differs ⓘ

this entity surface form: STOC

Daniele Micciancio → publishesIn → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC

ACM SIGACT Distinguished Service Prize → typicalVenue → ACM Symposium on Theory of Computing ⓘ

ACM → organizes → ACM Symposium on Theory of Computing ⓘ

this entity surface form: ACM STOC conference

FOCS → coRankedWith → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC

FOCS → sisterConference → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC

TCC → relatedTo → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC

SIGACT → sponsors → ACM Symposium on Theory of Computing ⓘ

Yuval Ishai → publishesIn → ACM Symposium on Theory of Computing ⓘ

this entity surface form: STOC conference proceedings

All labels observed (5)

How this entity was disambiguated Show

Statements (50)

How these facts were elicited Show

Referenced by (14)

How this entity was disambiguated

How these facts were elicited