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

<https://id.confref.org/data/confident/31143>
    a cf:Category_Event_Series ;
    rdfs:label "FMCAD - Formal Methods in Computer-Aided Design" ;
    cf:Academic_Field <https://id.confref.org/data/confident/29115> ,
        <https://id.confref.org/data/confident/30399> ;
    cf:Acronym "FMCAD" ;
    cf:Creation_date "2022-09-12T07:00:06"^^xsd:dateTime ;
    cf:DBLP_Series_ID "fmcad" ;
    cf:DOI "10.25798/82dk-dh24" ;
    cf:Display_Title "FMCAD - Formal Methods in Computer-Aided Design" ;
    cf:Has_subobject <https://id.confref.org/data/confident/31143/f66dac8317ff38dabce87c409c8e8e3a> ;
    cf:Maintainer_Missing "false"^^xsd:boolean ;
    cf:Modification_date "2023-08-21T09:30:52"^^xsd:dateTime ;
    cf:Official_Website <https://www.fmcad.org/> ;
    cf:Recurrence_Unit "year" ;
    cf:Title "Formal Methods in Computer-Aided Design" ;
    cf:WikiCFP_Series_ID "1051" ;
    cf:Wikidata_Series_ID "Q105695576" ;
    cf:page <https://www.confident-conference.org/index.php/Event_Series:B971552d-88d3-4f18-a485-0b44108039be> ;
    cf:pageTitle "Event Series:B971552d-88d3-4f18-a485-0b44108039be" ;
    cr:discipline wd:Q3966 ;
    cr:field <https://id.confref.org/data/oecd-fos/1.2> .