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

<https://id.confref.org/data/confident/6709>
    a cf:Category_Event ;
    rdfs:label "CADE 2021" ;
    cf:Abstract_Deadline "2021-02-15"^^xsd:date ;
    cf:Acronym "CADE 2021" ;
    cf:Country_Missing "true"^^xsd:boolean ;
    cf:Creation_date "2022-04-06T21:13:39"^^xsd:dateTime ;
    cf:DOI "10.25798/x706-1e06" ;
    cf:Display_Title "CADE 2021" ;
    cf:End_Date "2021-07-15"^^xsd:date ;
    cf:Event_Mode "online" ;
    cf:Event_Status "as scheduled" ;
    cf:Has_Metric "false"^^xsd:boolean ;
    cf:Has_subobject <https://id.confref.org/data/confident/6709/25957d227c69349f6e007abc58d24c07> ,
        <https://id.confref.org/data/confident/6709/4baba122fc50cd80084ca19a1fd1be59> ,
        <https://id.confref.org/data/confident/6709/8ece123326f922d93db0c470afd22d2c> ,
        <https://id.confref.org/data/confident/6709/a29eebcde55e78b8b34a8365ab3ee584> ;
    cf:In_Event_Series <https://id.confref.org/data/confident/1182> ;
    cf:Modification_date "2026-09-29T14:26:08"^^xsd:dateTime ;
    cf:Month "7"^^xsd:integer ;
    cf:Notification_Deadline "2021-04-09"^^xsd:date ;
    cf:Number_Of_Accepted_Papers "36"^^xsd:integer ;
    cf:Number_Of_Submitted_Papers "76"^^xsd:integer ;
    cf:Official_Website <https://www.cs.cmu.edu/~mheule/CADE28/#home> ;
    cf:Ordinal "28"^^xsd:integer ;
    cf:Organizer_Missing "false"^^xsd:boolean ;
    cf:Paper_Deadline "2021-02-22"^^xsd:date ;
    cf:Single_Day_Event "no" ;
    cf:Start_Date "2021-07-12"^^xsd:date ;
    cf:Start_Date_Missing "false"^^xsd:boolean ;
    cf:Title "International Conference on Automated Deduction" ;
    cf:Year "2021"^^xsd:integer ;
    cf:page <https://www.confident-conference.org/index.php/Event:CADE_2021> ;
    cf:pageTitle "Event:CADE 2021" .