Record Beta

CAV 2024

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

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

rdf:type	cf:Category_Event
schema:location	Montreal (wd:Q340)
rdfs:label	CAV 2024
cf:Academic_Field	https://id.confref.org/data/confident/26469
cf:Acronym	CAV 2024
cf:City	Montreal
cf:Country	https://id.confref.org/data/confident/30889
cf:Country_Missing	false
cf:Creation_date	2026-07-16T08:29:54
cf:Display_Title	CAV 2024
cf:End_Date	2024-07-27
cf:Event_Mode	on site
cf:Event_Status	as scheduled
cf:Has_Metric	false
cf:Has_subobject	https://id.confref.org/data/confident/62517/4d5fa2231c496e2fb0420d7a8c944335
cf:Has_subobject	https://id.confref.org/data/confident/62517/84f9ae9c48cadb387b97aa2b70698edc
cf:Has_subobject	https://id.confref.org/data/confident/62517/c3c904b9904b83f5a4d4b4b5207c3883
cf:Has_subobject	https://id.confref.org/data/confident/62517/da4921d6ef1de34f1b15c0c76f26784c
cf:Hashtag	CAV 2024
cf:In_Event_Series	https://id.confref.org/data/confident/1190
cf:Modification_date	2026-07-16T08:35:19
cf:Month	7
cf:Notification_Deadline	2024-03-26
cf:Number_Of_Accepted_Papers	69
cf:Number_Of_Submitted_Papers	317
cf:Official_Website	https://i-cav.org/2024/
cf:Ordinal	36
cf:Organizer_Missing	false
cf:Paper_Deadline	2024-01-19
cf:Region	Quebec
cf:Single_Day_Event	no
cf:Start_Date	2024-07-24
cf:Start_Date_Missing	false
cf:Submission_Deadline	2024-05-19
cf:Submission_Link	https://easychair.org/conferences/?conf=cav2024
cf:Title	International Conference on Computer Aided Verification
cf:Year	2024
cf:page	https://www.confident-conference.org/index.php/Event:374fdb0c-d982-4a9d-ac8b-20a70fa8c5bd
cf:pageTitle	Event:374fdb0c-d982-4a9d-ac8b-20a70fa8c5bd
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/cav/cav2024-1

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

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