IFIP Working Group 2.3
E258607
IFIP Working Group 2.3 is an international expert group within the International Federation for Information Processing focused on the theory and practice of programming methodology and software development.
All labels observed (3)
| Label | Occurrences |
|---|---|
| IFIP Working Group 2.3 canonical | 3 |
| IFIP WG 2.3 | 1 |
| IFIP Working Group 2.2 | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2314085 — 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: IFIP Working Group 2.3 Context triple: [Lambert Meertens, memberOf, IFIP Working Group 2.3]
-
A.
IFIP Working Group 2.1
IFIP Working Group 2.1 is an international committee of computer scientists under the International Federation for Information Processing, best known for its foundational work on the design and standardization of the ALGOL family of programming languages.
-
B.
IFIP
IFIP (International Federation for Information Processing) is a global, non-governmental organization that promotes information and communication technologies through international cooperation, standards, and research.
-
C.
ISO/IEC JTC 1/SC 2
ISO/IEC JTC 1/SC 2 is the international standardization subcommittee responsible for character sets and coding, including the development and maintenance of the Universal Coded Character Set (UCS).
-
D.
ISO/IEC JTC 1/SC 22
ISO/IEC JTC 1/SC 22 is a subcommittee of the Joint Technical Committee of ISO and IEC responsible for international standardization of programming languages, their environments, and system software interfaces.
-
E.
ACM Special Interest Group
An ACM Special Interest Group (SIG) is a professional community within the Association for Computing Machinery that focuses on advancing a specific area of computing research, practice, or education.
- 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: IFIP Working Group 2.3 Target entity description: IFIP Working Group 2.3 is an international expert group within the International Federation for Information Processing focused on the theory and practice of programming methodology and software development.
-
A.
IFIP Working Group 2.1
IFIP Working Group 2.1 is an international committee of computer scientists under the International Federation for Information Processing, best known for its foundational work on the design and standardization of the ALGOL family of programming languages.
-
B.
IFIP
IFIP (International Federation for Information Processing) is a global, non-governmental organization that promotes information and communication technologies through international cooperation, standards, and research.
-
C.
ISO/IEC JTC 1/SC 2
ISO/IEC JTC 1/SC 2 is the international standardization subcommittee responsible for character sets and coding, including the development and maintenance of the Universal Coded Character Set (UCS).
-
D.
ISO/IEC JTC 1/SC 22
ISO/IEC JTC 1/SC 22 is a subcommittee of the Joint Technical Committee of ISO and IEC responsible for international standardization of programming languages, their environments, and system software interfaces.
-
E.
ACM Special Interest Group
An ACM Special Interest Group (SIG) is a professional community within the Association for Computing Machinery that focuses on advancing a specific area of computing research, practice, or education.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
IFIP working group
ⓘ
international expert group ⓘ working group ⓘ |
| activity |
organizing expert meetings
ⓘ
organizing working conferences ⓘ producing technical reports ⓘ promoting rigorous software development methods ⓘ publishing conference proceedings ⓘ |
| affiliation | IFIP ⓘ |
| fieldOfWork |
programming methodology
ⓘ
software development ⓘ software engineering ⓘ |
| focusesOn |
formal methods in software development
ⓘ
high‑integrity software ⓘ methods for software construction ⓘ practice of programming methodology ⓘ program correctness ⓘ program specification ⓘ program verification ⓘ software design methodologies ⓘ software development processes ⓘ theory of programming methodology ⓘ |
| goal |
advance the practice of programming methodology
ⓘ
advance the theory of programming methodology ⓘ bridge theory and practice in software development ⓘ improve methods for software development ⓘ |
| hasMemberType |
academics
ⓘ
industry practitioners ⓘ invited experts ⓘ researchers ⓘ |
| hasScope | international ⓘ |
| language | English ⓘ |
| operatesIn |
academic community
ⓘ
software industry community ⓘ |
| parentOrganization |
International Federation for Information Processing
ⓘ
linked to:
IFIP
|
| partOf |
IFIP TC 2: Software Theory and Practice
ⓘ
linked to:
IFIP Technical Committee 2
IFIP Technical Committee 2 ⓘ |
| shortName |
IFIP WG 2.3
ⓘ
linked to:
IFIP Working Group 2.3
|
| topic |
correctness‑by‑construction approaches
ⓘ
formal specification languages ⓘ program construction ⓘ software quality ⓘ software reliability ⓘ software specification ⓘ software validation ⓘ software verification ⓘ |
| website | https://www.ifip.org ⓘ |
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: IFIP Working Group 2.3 Description of subject: IFIP Working Group 2.3 is an international expert group within the International Federation for Information Processing focused on the theory and practice of programming methodology and software development.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: IFIP Working Group 2.3
linked to: IFIP Working Group 2.3