Record Beta

Certified Programs and Proofs

https://id.confref.org/data/confref-portal/event/cpp2011

rdf:type	portal:Conference
schema:location	Taiwan (wd:Q865)
rdfs:label	Certified Programs and Proofs
portal:acronym	CPP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Kenting
portal:country	Taiwan
portal:endDate	2011-12-09
portal:keyword	Automation
portal:keyword	Coq
portal:keyword	Decision procedures
portal:keyword	Ehealth
portal:keyword	Fortress
portal:keyword	Future internet
portal:keyword	Geometry
portal:keyword	Hybrid Logic
portal:keyword	Intrusion Resilience
portal:keyword	Process calculus
portal:keyword	Proof assistant
portal:keyword	computational model
portal:keyword	eventualities
portal:keyword	formal verification
portal:keyword	formalization
portal:keyword	mHealth
portal:keyword	multiple dispatch
portal:keyword	multiple inheritance
portal:keyword	overloading
portal:name	Certified Programs and Proofs
portal:portalPage	http://portal.confref.org/list/cpp2011
portal:series	https://id.confref.org/data/confref-portal/series/cpp
portal:startDate	2011-12-07
portal:submissionExtended	false
portal:year	2011
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/cpp/cpp2011

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