CPP (Conference)

URI(s)

• http://id.loc.gov/authorities/names/nb2013003834

Instance Of

• MADS/RDF ConferenceName
• MADS/RDF Authority
• SKOS Concept

Scheme Membership(s)

• Library of Congress Name Authority File

Collection Membership(s)

• Names Collection - Authorized Headings
• LC Names Collection - General Collection

Variants

• International Conference on Certified Programs and Proofs
• Conference on Certified Programs and Proofs, International

Additional Information

• http://id.loc.gov/rwo/agents/nb2013003834

• Descriptor

  Congresses and conventions

Exact Matching Concepts from Other Schemes

• http://viaf.org/viaf/sourceID/LC%7Cnb2013003834#skos:Concept

Closely Matching Concepts from Other Schemes

• International Conference on Certified Programs and Proofs Label from public data source Wikidata

Sources

• found: Certified programs and proofs, c2012:t.p. (Second International Conference CPP 2012, 13-15 December 2012, Kyoto, Japan)
• found: Certified programs and proofs, c2011:t.p. (CPP 2011, Kenting, Taiwan, Dec. 7-9, 2011) pref. (First International Conference on Certified Programs and Proofs)

Change Notes

• 2013-02-25: new
• 2022-03-15: revised

Alternate Formats

• RDF/XML (MADS and SKOS)
• N-Triples (MADS and SKOS)
• JSON (MADS/RDF and SKOS/RDF)
• MADS - RDF/XML
• MADS - N-Triples
• MADS/RDF - JSON
• SKOS - RDF/XML
• SKOS - N-Triples
• SKOS - JSON
• MADS/XML
• MARC/XML