CAV conference steering committee
E900200
The CAV conference steering committee is the governing body that oversees the strategic direction, policies, and major recognitions of the Computer Aided Verification (CAV) conference series.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CAV conference steering committee canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T11016402 — 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: CAV conference steering committee Context triple: [CAV Award, organizer, CAV conference steering committee]
-
A.
CADE conference proceedings
CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.
-
B.
CASP conference
The CASP conference is a recurring scientific meeting where researchers present and evaluate advances in computational methods for predicting protein structures.
-
C.
Working Party on Automated/Autonomous and Connected Vehicles (GRVA)
The Working Party on Automated/Autonomous and Connected Vehicles (GRVA) is a specialized expert group within the United Nations Economic Commission for Europe that develops international technical regulations and standards for vehicle automation, connectivity, and related safety systems.
-
D.
EATCS General Assembly
The EATCS General Assembly is the main annual gathering of the European Association for Theoretical Computer Science, where its community convenes for organizational decisions and official announcements.
-
E.
ACM ICWE
ACM ICWE is a leading annual research conference focused on advances in web engineering, covering the design, development, and evaluation of web-based systems and applications.
- 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: CAV conference steering committee Target entity description: The CAV conference steering committee is the governing body that oversees the strategic direction, policies, and major recognitions of the Computer Aided Verification (CAV) conference series.
-
A.
CADE conference proceedings
CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.
-
B.
CASP conference
The CASP conference is a recurring scientific meeting where researchers present and evaluate advances in computational methods for predicting protein structures.
-
C.
Working Party on Automated/Autonomous and Connected Vehicles (GRVA)
The Working Party on Automated/Autonomous and Connected Vehicles (GRVA) is a specialized expert group within the United Nations Economic Commission for Europe that develops international technical regulations and standards for vehicle automation, connectivity, and related safety systems.
-
D.
EATCS General Assembly
The EATCS General Assembly is the main annual gathering of the European Association for Theoretical Computer Science, where its community convenes for organizational decisions and official announcements.
-
E.
ACM ICWE
ACM ICWE is a leading annual research conference focused on advances in web engineering, covering the design, development, and evaluation of web-based systems and applications.
- F. None of above. chosen
Statements (30)
| Predicate | Object |
|---|---|
| instanceOf |
conference steering committee
ⓘ
governing body ⓘ organizational committee ⓘ |
| associatedWith |
CAV award
ⓘ
linked to:
CAV Award
CAV conference ⓘ CAV conference series ⓘ
linked to:
CAV
|
| communityServed |
computer-aided verification research community
ⓘ
formal methods research community ⓘ |
| domain |
academic conferences
ⓘ
research community governance ⓘ |
| field |
computer science
ⓘ
computer-aided verification ⓘ formal methods ⓘ |
| governs |
CAV conference policies
ⓘ
CAV conference recognition programs ⓘ CAV conference strategic planning ⓘ |
| hasRole |
defines policies for the CAV conference series
ⓘ
oversees major recognitions and awards of the CAV conference series ⓘ provides continuity across editions of the CAV conference ⓘ sets long-term goals for the CAV conference series ⓘ |
| oversees |
Computer Aided Verification conference series
ⓘ
linked to:
Computer Aided Verification conference
major recognitions of the CAV conference series ⓘ policies of the CAV conference series ⓘ strategic direction of the CAV conference series ⓘ |
| purpose |
to coordinate high-level decisions for the CAV conference series
ⓘ
to guide the development of the CAV conference series ⓘ to maintain the quality and reputation of the CAV conference series ⓘ |
| relatedTo |
organizing committees of individual CAV conferences
ⓘ
program committees of individual CAV conferences ⓘ |
| scope | international ⓘ |
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: CAV conference steering committee Description of subject: The CAV conference steering committee is the governing body that oversees the strategic direction, policies, and major recognitions of the Computer Aided Verification (CAV) conference series.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.