Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

CAV 2021

https://id.confref.org/data/confident/6797

This record is part of the confref event International Conference on Computer-Aided Verification.

rdf:typecf:Category_Event
rdfs:labelCAV 2021
cf:Academic_Fieldhttps://id.confref.org/data/confident/26469
cf:AcronymCAV 2021
cf:Country_Missingtrue
cf:Creation_date2022-04-06T21:15:55
cf:DOI10.25798/21va-4807
cf:Display_TitleCAV 2021
cf:End_Date2021-07-21
cf:Event_Modeonline
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/6797/15c82b72d1185c7f8fe72b8ff2ed592b
cf:Has_subobjecthttps://id.confref.org/data/confident/6797/49602454077df3715c2cd80dd01198e6
cf:Has_subobjecthttps://id.confref.org/data/confident/6797/ed2c2ccc1fb9838186b6ff99b834c19d
cf:Has_subobjecthttps://id.confref.org/data/confident/6797/fa463239492ec15428fdf436465c11c6
cf:HashtagCAV 2021
cf:In_Event_Serieshttps://id.confref.org/data/confident/1190
cf:Modification_date2026-09-29T19:58:43
cf:Month7
cf:Notification_Deadline2021-04-19
cf:Number_Of_Accepted_Papers63
cf:Number_Of_Submitted_Papers290
cf:Official_Websitehttp://i-cav.org/2021/
cf:Ordinal33
cf:Organizer_Missingfalse
cf:Paper_Deadline2021-01-28
cf:Single_Day_Eventno
cf:Start_Date2021-07-18
cf:Start_Date_Missingfalse
cf:Submission_Deadline2021-01-28
cf:Submission_Linkhttps://easychair.org/conferences/?conf=cav2021
cf:TitleInternational Conference on Computer-Aided Verification
cf:Year2021
cf:pagehttps://www.confident-conference.org/index.php/Event:CAV_2021
cf:pageTitleEvent:CAV 2021
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/cav/cav2021-1

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

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