FOCS

E326781

academic conference annual event theoretical computer science conference

FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.

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

All labels observed (5)

Label	Occurrences
FOCS canonical	5
IEEE Symposium on Foundations of Computer Science	2
23rd Annual IEEE Symposium on Foundations of Computer Science	1
ACM FOCS	1
FOCS conference proceedings	1

How this entity was disambiguated

This entity first appeared as the object of triple T3094170 — 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: FOCS
Context triple: [Sanjam Garg, publishesIn, FOCS]

A. ACM Symposium on Theory of Computing
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.
B. 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.
C. 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.
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. SIAM Journal on Computing
SIAM Journal on Computing is a leading peer-reviewed scientific journal that publishes research in theoretical computer science, including algorithms, complexity theory, and related areas of computation.
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: FOCS
Target entity description: FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.

A. ACM Symposium on Theory of Computing
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.
B. 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.
C. 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.
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. SIAM Journal on Computing
SIAM Journal on Computing is a leading peer-reviewed scientific journal that publishes research in theoretical computer science, including algorithms, complexity theory, and related areas of computation.
F. None of above. chosen

Statements (47)

Predicate	Object
instanceOf	academic conference ⓘ annual event ⓘ theoretical computer science conference ⓘ
abbreviation	FOCS ⓘ
area	foundations of computing ⓘ
associatedAward	Best Paper Award ⓘ Best Student Paper Award ⓘ
audience	academics ⓘ graduate students ⓘ industry researchers ⓘ researchers ⓘ
coRankedWith	STOC ⓘ linked to: ACM Symposium on Theory of Computing
country	United States ⓘ linked to: United States of America
field	computer science ⓘ theoretical computer science ⓘ
focus	theoretical foundations rather than applications ⓘ
frequency	annual ⓘ
fullName	IEEE Symposium on Foundations of Computer Science ⓘ linked to: FOCS
includes	awards ceremony ⓘ invited talks ⓘ technical paper presentations ⓘ tutorials ⓘ
language	English ⓘ
organizedBy	IEEE ⓘ linked to: Institute of Electrical and Electronics Engineers
rank	flagship TCS conference ⓘ
reputation	premier theoretical computer science conference ⓘ
reviewProcess	peer-reviewed ⓘ
scope	international ⓘ
selectionType	highly selective ⓘ
sisterConference	STOC ⓘ linked to: ACM Symposium on Theory of Computing
sponsoredBy	IEEE Computer Society ⓘ
startYear	1960s (approximate) ⓘ
topic	algorithms ⓘ approximation algorithms ⓘ communication complexity ⓘ computational complexity theory ⓘ computational geometry ⓘ computational learning theory ⓘ cryptography ⓘ data structures ⓘ derandomization ⓘ distributed computing theory ⓘ foundations of computer science ⓘ game theory in computer science ⓘ online algorithms ⓘ proof complexity ⓘ quantum computation theory ⓘ

How these facts were elicited

Referenced by (10)

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

Sanjam Garg → publishesIn → FOCS ⓘ

ACM conferences → include → ACM FOCS ⓘ

linked to: FOCS

ACM Symposium on Theory of Computing → hasSisterConference → IEEE Symposium on Foundations of Computer Science ⓘ

linked to: FOCS

ACM Symposium on Theory of Computing → sisterConferenceAbbreviation → FOCS ⓘ

Daniele Micciancio → publishesIn → FOCS ⓘ

FOCS → fullName → IEEE Symposium on Foundations of Computer Science ⓘ

linked to: FOCS

FOCS → abbreviation → FOCS ⓘ

TCC → relatedTo → FOCS ⓘ

Yuval Ishai → publishesIn → FOCS conference proceedings ⓘ

linked to: FOCS

Yao’s garbled circuits → introducedAtConference → 23rd Annual IEEE Symposium on Foundations of Computer Science ⓘ

linked to: FOCS

All labels observed (5)

How this entity was disambiguated Show

Statements (47)

How these facts were elicited Show

Referenced by (10)

How this entity was disambiguated

How these facts were elicited