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

Record Beta

ATVA 2018

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

This record is part of the confref event 16th International Symposium on Automated Technology for Verification and Analysis.

rdf:typecf:Category_Event
schema:locationLos Angeles (wd:Q65)
rdfs:labelATVA 2018
cf:AcronymATVA 2018
cf:Camera-Ready_Deadline2018-07-27
cf:CityLos Angeles
cf:Countryhttps://id.confref.org/data/confident/31086
cf:Country_Missingfalse
cf:Creation_date2022-04-06T21:08:20
cf:DOI10.25798/v7rw-g305
cf:Display_TitleATVA 2018
cf:End_Date2018-10-10
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/6503/1dbaca26425a7163d3dc3632c1181ba0
cf:Has_subobjecthttps://id.confref.org/data/confident/6503/31461383c7d245f6ef31f5daa4b0741b
cf:Has_subobjecthttps://id.confref.org/data/confident/6503/6fd1ea82e877da188e70407584d99de7
cf:Has_subobjecthttps://id.confref.org/data/confident/6503/9a6dc52be59492096fdb63ba5bca16c9
cf:Has_subobjecthttps://id.confref.org/data/confident/6503/f32750351785f2a59c5e7044837d93f2
cf:In_Event_Serieshttps://id.confref.org/data/confident/1160
cf:Modification_date2026-09-16T13:01:13
cf:Month10
cf:Notification_Deadline2018-06-27
cf:Number_Of_Accepted_Papers27
cf:Number_Of_Submitted_Papers82
cf:Official_Websitehttp://atva-conference.org/
cf:Organizer_Missingfalse
cf:Paper_Deadline2018-05-11
cf:RegionCalifornia
cf:Single_Day_Eventno
cf:Start_Date2018-10-07
cf:Start_Date_Missingfalse
cf:Submission_Deadline2018-05-11
cf:Title16th International Symposium on Automated Technology for Verification and Analysis
cf:Year2018
cf:pagehttps://www.confident-conference.org/index.php/Event:ATVA_2018
cf:pageTitleEvent:ATVA 2018

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

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