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

Record Beta

CAV 2026

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

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

rdf:typecf:Category_Event
schema:locationLisbon (wd:Q597)
rdfs:labelCAV 2026
cf:Academic_Fieldhttps://id.confref.org/data/confident/26469
cf:AcronymCAV 2026
cf:Camera-Ready_Deadline2026-05-15
cf:CityLisbon
cf:Countryhttps://id.confref.org/data/confident/31026
cf:Country_Missingfalse
cf:Creation_date2026-07-27T09:12:48
cf:DOI10.25798/x776-py66
cf:Display_TitleCAV 2026
cf:End_Date2026-07-29
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/62525/1ace0e51c2ac2495a7435202f6cbe9de
cf:Has_subobjecthttps://id.confref.org/data/confident/62525/2f05525415ba2253e21ed9f12f14477d
cf:Has_subobjecthttps://id.confref.org/data/confident/62525/bd47894316dbf07cbf68ca319da88424
cf:Has_subobjecthttps://id.confref.org/data/confident/62525/ef69baeacc52a4cc64446798f0f690de
cf:HashtagCAV 2026
cf:In_Event_Serieshttps://id.confref.org/data/confident/1190
cf:Modification_date2026-07-30T04:05:26
cf:Month7
cf:Notification_Deadline2026-04-17
cf:Number_Of_Accepted_Papers54
cf:Number_Of_Accepted_Short_Papers21
cf:Number_Of_Submitted_Papers319
cf:Official_Websitehttps://conferences.i-cav.org/2026/
cf:Ordinal38
cf:Organizer_Missingfalse
cf:Single_Day_Eventno
cf:Start_Date2026-07-26
cf:Start_Date_Missingfalse
cf:Submission_Deadline2026-01-28
cf:Submission_Linkhttps://submissions.floc26.org/cav/
cf:TitleInternational Conference on Computer Aided Verification
cf:Year2026
cf:pagehttps://www.confident-conference.org/index.php/Event:0b72d741-7493-41a4-8488-919f78e4183a
cf:pageTitleEvent:0b72d741-7493-41a4-8488-919f78e4183a
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/cav/cav2026-1

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

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