# https://id.confref.org/data/confident/6504 (confref labs, beta)
@prefix cf: <https://id.confref.org/data/confident/vocab/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://id.confref.org/data/confident/6504>
    a cf:Category_Event ;
    schema:location wd:Q1867 ;
    rdfs:label "ATVA 2019" ;
    cf:Abstract_Deadline "2019-04-26"^^xsd:date ;
    cf:Acronym "ATVA 2019" ;
    cf:Camera-Ready_Deadline "2019-07-26"^^xsd:date ;
    cf:City "Taipei" ;
    cf:Country <https://id.confref.org/data/confident/31068> ;
    cf:Country_Missing "false"^^xsd:boolean ;
    cf:Creation_date "2022-04-06T21:08:21"^^xsd:dateTime ;
    cf:DOI "10.25798/9z9w-p028" ;
    cf:Display_Title "ATVA 2019" ;
    cf:End_Date "2019-10-31"^^xsd:date ;
    cf:Event_Mode "on site" ;
    cf:Event_Status "as scheduled" ;
    cf:Has_Metric "false"^^xsd:boolean ;
    cf:Has_subobject <https://id.confref.org/data/confident/6504/257f19d3859dad758d398f1e3201b77f> ,
        <https://id.confref.org/data/confident/6504/3d9ca8737cf20230cd9d1e8aa5e91955> ,
        <https://id.confref.org/data/confident/6504/3f3b75261e558146e83e3d7ab164694b> ,
        <https://id.confref.org/data/confident/6504/a4c8e631a08ae5c324d814d80591467b> ,
        <https://id.confref.org/data/confident/6504/c8dd678bb9f52d28a34cfe757e3f2934> ,
        <https://id.confref.org/data/confident/6504/ff44cd10c44afe349aae74707c9c68e6> ;
    cf:In_Event_Series <https://id.confref.org/data/confident/1160> ;
    cf:Modification_date "2026-09-16T12:56:13"^^xsd:dateTime ;
    cf:Month "10"^^xsd:integer ;
    cf:Notification_Deadline "2019-06-16"^^xsd:date ;
    cf:Number_Of_Accepted_Papers "24"^^xsd:integer ;
    cf:Number_Of_Submitted_Papers "65"^^xsd:integer ;
    cf:Official_Website <http://atva2019.iis.sinica.edu.tw/> ;
    cf:Organizer_Missing "false"^^xsd:boolean ;
    cf:Paper_Deadline "2019-05-03"^^xsd:date ;
    cf:Single_Day_Event "no" ;
    cf:Start_Date "2019-10-27"^^xsd:date ;
    cf:Start_Date_Missing "false"^^xsd:boolean ;
    cf:Submission_Deadline "2019-05-03"^^xsd:date ;
    cf:Submission_Link <https://easychair.org/conferences/?conf=atva2019> ;
    cf:Title "17th International Symposium on Automated Technology for Verification and Analysis" ;
    cf:Year "2019"^^xsd:integer ;
    cf:page <https://www.confident-conference.org/index.php/Event:ATVA_2019> ;
    cf:pageTitle "Event:ATVA 2019" .