CAV conference steering committee

E900200

conference steering committee governing body organizational committee

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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label	Occurrences
CAV conference steering committee canonical	1

Statements (30)

Predicate	Object
instanceOf	conference steering committee ⓘ governing body ⓘ organizational committee ⓘ
associatedWith	CAV award NERFINISHED ⓘ CAV conference ⓘ CAV conference series NERFINISHED ⓘ
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 NERFINISHED ⓘ 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 ⓘ

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

CAV Award → organizer → CAV conference steering committee ⓘ