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: logic in computer science | Statement: [Proceedings of the IEEE Symposium on Logic in Computer Science, field, logic in computer science]

Target entity: logic in computer science
Context triple: [Proceedings of the IEEE Symposium on Logic in Computer Science, field, logic in computer science]

• A. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• B. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• C. Proceedings of the IEEE Symposium on Logic in Computer Science
  Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
• D. Mathematical Theory of Computation
  Mathematical Theory of Computation is a foundational textbook in theoretical computer science that systematically develops formal models of computation, computability, and complexity.
• E. Track B: Automata, Logic, Semantics and Theory of Programming
  Track B: Automata, Logic, Semantics and Theory of Programming is a main research track of the International Colloquium on Automata, Languages and Programming focusing on theoretical foundations of computation, programming languages, and formal methods.
• 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: logic in computer science
Triple: [Proceedings of the IEEE Symposium on Logic in Computer Science, field, logic in computer science]

Logic in computer science is a field that applies formal logical methods to problems in computing, including program verification, automated reasoning, and the design and analysis of algorithms and systems.

Target entity: logic in computer science
Target entity description: Logic in computer science is a field that applies formal logical methods to problems in computing, including program verification, automated reasoning, and the design and analysis of algorithms and systems.

• A. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• B. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• C. Proceedings of the IEEE Symposium on Logic in Computer Science chosen
  Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
• D. Mathematical Theory of Computation
  Mathematical Theory of Computation is a foundational textbook in theoretical computer science that systematically develops formal models of computation, computability, and complexity.
• E. Track B: Automata, Logic, Semantics and Theory of Programming
  Track B: Automata, Logic, Semantics and Theory of Programming is a main research track of the International Colloquium on Automata, Languages and Programming focusing on theoretical foundations of computation, programming languages, and formal methods.
• F. None of above.