Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing | Statement: [The Knowledge Complexity of Interactive Proof Systems, publishedIn, Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing]

Target entity: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
Context triple: [The Knowledge Complexity of Interactive Proof Systems, publishedIn, Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing]

• A. 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.
• 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. Interactive Proofs and the Hardness of Approximating Cliques
  "Interactive Proofs and the Hardness of Approximating Cliques" is a seminal theoretical computer science paper that introduced powerful interactive proof techniques to show that finding near-maximum cliques in graphs is computationally intractable to approximate within strong bounds.
• D. Communications of the ACM
  Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
• E. International Conference on Distributed Computing Systems
  The International Conference on Distributed Computing Systems is a leading annual research conference focused on the theory, design, implementation, and applications of distributed computing and distributed systems.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
Triple: [The Knowledge Complexity of Interactive Proof Systems, publishedIn, 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.

Target entity: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing
Target entity description: 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.

• A. 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.
• 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. Interactive Proofs and the Hardness of Approximating Cliques
  "Interactive Proofs and the Hardness of Approximating Cliques" is a seminal theoretical computer science paper that introduced powerful interactive proof techniques to show that finding near-maximum cliques in graphs is computationally intractable to approximate within strong bounds.
• D. Communications of the ACM
  Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
• E. International Conference on Distributed Computing Systems
  The International Conference on Distributed Computing Systems is a leading annual research conference focused on the theory, design, implementation, and applications of distributed computing and distributed systems.
• F. None of above. chosen