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

Record Beta

ATVA 2020

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

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

rdf:typecf:Category_Event
schema:locationHanoi (wd:Q1858)
rdfs:labelATVA 2020
cf:AcronymATVA 2020
cf:Camera-Ready_Deadline2020-07-05
cf:CityHanoi
cf:Countryhttps://id.confref.org/data/confident/31091
cf:Country_Missingfalse
cf:Creation_date2022-04-06T21:08:23
cf:DOI10.25798/5cfm-3a74
cf:Display_TitleATVA 2020
cf:End_Date2020-10-23
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/6505/47a64b4e1432bdcb45a664efe5c49ffd
cf:Has_subobjecthttps://id.confref.org/data/confident/6505/4b5a09f5c785fc74b3ee850e38853fe0
cf:Has_subobjecthttps://id.confref.org/data/confident/6505/9669ccf3584141ccd49161a1393a64da
cf:Has_subobjecthttps://id.confref.org/data/confident/6505/af35981cf5b1dff6c6da4e5e275070cc
cf:Has_subobjecthttps://id.confref.org/data/confident/6505/d08961969042029d93364b65aeef8261
cf:In_Event_Serieshttps://id.confref.org/data/confident/1160
cf:Modification_date2026-09-21T14:55:05
cf:Month10
cf:Notification_Deadline2020-06-05
cf:Official_Websitehttp://fit.uet.vnu.edu.vn/atva2020/
cf:Organizer_Missingfalse
cf:Paper_Deadline2020-05-03
cf:Single_Day_Eventno
cf:Start_Date2020-10-19
cf:Start_Date_Missingfalse
cf:Submission_Deadline2020-05-03
cf:Title18th International Symposium on Automated Technology for Verification and Analysis
cf:Year2020
cf:pagehttps://www.confident-conference.org/index.php/Event:ATVA_2020
cf:pageTitleEvent:ATVA 2020

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

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