IEEE Technical Committee on Mathematical Foundations of Computing
E102274
The IEEE Technical Committee on Mathematical Foundations of Computing is a professional body within the IEEE that focuses on theoretical computer science and the mathematical underpinnings of computing.
All labels observed (1)
| Label | Occurrences |
|---|---|
| IEEE Technical Committee on Mathematical Foundations of Computing canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T870957 — 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: IEEE Technical Committee on Mathematical Foundations of Computing Context triple: [Donald E. Knuth Prize, presentedBy, IEEE Technical Committee on Mathematical Foundations of Computing]
-
A.
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.
-
B.
IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence
The IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence is a leading professional body that advances research and standards in computer vision, pattern recognition, and machine learning within the IEEE community.
-
C.
IEEE Computational Intelligence Society
The IEEE Computational Intelligence Society is a professional society of the IEEE that focuses on advancing the theory, design, application, and education of computational intelligence technologies such as neural networks, fuzzy systems, and evolutionary computation.
-
D.
IEEE Computer Society
The IEEE Computer Society is a leading professional organization dedicated to advancing computer science and engineering through publications, conferences, standards, and educational activities.
-
E.
EATCS
EATCS (European Association for Theoretical Computer Science) is a professional organization dedicated to advancing research and education in theoretical computer science.
- 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: IEEE Technical Committee on Mathematical Foundations of Computing Target entity description: The IEEE Technical Committee on Mathematical Foundations of Computing is a professional body within the IEEE that focuses on theoretical computer science and the mathematical underpinnings of computing.
-
A.
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.
-
B.
IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence
The IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence is a leading professional body that advances research and standards in computer vision, pattern recognition, and machine learning within the IEEE community.
-
C.
IEEE Computational Intelligence Society
The IEEE Computational Intelligence Society is a professional society of the IEEE that focuses on advancing the theory, design, application, and education of computational intelligence technologies such as neural networks, fuzzy systems, and evolutionary computation.
-
D.
IEEE Computer Society
The IEEE Computer Society is a leading professional organization dedicated to advancing computer science and engineering through publications, conferences, standards, and educational activities.
-
E.
EATCS
EATCS (European Association for Theoretical Computer Science) is a professional organization dedicated to advancing research and education in theoretical computer science.
- F. None of above. chosen
Statements (39)
| Predicate | Object |
|---|---|
| instanceOf |
IEEE technical committee
ⓘ
professional body ⓘ technical committee ⓘ |
| affiliation |
IEEE
ⓘ
IEEE Computer Society ⓘ |
| field |
computer science
ⓘ
mathematical foundations of computing ⓘ theoretical computer science ⓘ |
| focusesOn |
algorithmic theory
ⓘ
automata theory ⓘ complexity theory ⓘ computability theory ⓘ computational models ⓘ discrete mathematics for computing ⓘ formal languages ⓘ formal methods in computing ⓘ logic in computer science ⓘ mathematical underpinnings of computing ⓘ semantics of programming languages ⓘ theory of computation ⓘ |
| hasMemberType |
academics
ⓘ
industry professionals ⓘ researchers ⓘ |
| isPartOf |
IEEE Computer Society Technical and Conference Activities Board
ⓘ
linked to:
IEEE Computer Society
IEEE technical activities ⓘ |
| language | English ⓘ |
| mission |
to foster communication among researchers in theoretical computer science
ⓘ
to promote research in the mathematical foundations of computing ⓘ to support activities related to the theory of computing within IEEE ⓘ |
| organizationType | technical committee of a professional society ⓘ |
| parentOrganization |
IEEE Computer Society
ⓘ
Institute of Electrical and Electronics Engineers ⓘ |
| scope | international ⓘ |
| sector |
academic research
ⓘ
professional association ⓘ |
| topic |
computational structures
ⓘ
discrete structures in computing ⓘ formal verification ⓘ mathematical logic in computing ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: IEEE Technical Committee on Mathematical Foundations of Computing Description of subject: The IEEE Technical Committee on Mathematical Foundations of Computing is a professional body within the IEEE that focuses on theoretical computer science and the mathematical underpinnings of computing.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
Donald E. Knuth Prize
→
presentedBy
→
IEEE Technical Committee on Mathematical Foundations of Computing
ⓘ
LICS Test-of-Time Award
→
sponsor
→
IEEE Technical Committee on Mathematical Foundations of Computing
ⓘ