International Symposium on Logic-based Program Synthesis and Transformation
E1093132
UNEXPLORED
The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) is an academic conference focused on research in logic-based methods for program development, analysis, and transformation.
All labels observed (1)
| Label | Occurrences |
|---|---|
| International Symposium on Logic-based Program Synthesis and Transformation canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14341608 — 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: International Symposium on Logic-based Program Synthesis and Transformation Context triple: [LOPSTR, fullName, International Symposium on Logic-based Program Synthesis and Transformation]
-
A.
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.
-
B.
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) is a specialized academic venue focusing on research in program transformation, partial evaluation, and related aspects of program analysis and manipulation.
-
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.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
E.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is a premier annual research conference focusing on fundamental aspects of programming languages and programming systems theory.
- 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: International Symposium on Logic-based Program Synthesis and Transformation Target entity description: The International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) is an academic conference focused on research in logic-based methods for program development, analysis, and transformation.
-
A.
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.
-
B.
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) is a specialized academic venue focusing on research in program transformation, partial evaluation, and related aspects of program analysis and manipulation.
-
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.
PLDI
PLDI (Programming Language Design and Implementation) is a premier annual research conference focused on the design, implementation, and analysis of programming languages and compilers.
-
E.
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is a premier annual research conference focusing on fundamental aspects of programming languages and programming systems theory.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.