Event Beta

CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021

Name: CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021
Start: 2021-01-17
End: 2021-01-19
Location: Denmark

CPP 2021

Date: 2021-01-17/19
Place: Denmark,
Series: International Conference on Certified Programs and Proofs
Edition: 10
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10f6c2

Proceedings

Title	DOI	Year	Record
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021	10.1145/3437992	2021	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Wikidata	`http://www.wikidata.org/entity/Q106304536`
dblp	`https://dblp.org/db/conf/cpp/cpp2021`

Cite

CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021. confref identifier e10f6c2. https://id.confref.org/event/e10f6c2

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.