# https://id.confref.org/data/confident/31182 (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/31182>
    a cf:Category_Event_Series ;
    rdfs:label "FMICS - International Workshop on Formal Methods for Industrial Critical Systems" ;
    cf:Academic_Field <https://id.confref.org/data/confident/26775> ;
    cf:Acronym "FMICS" ;
    cf:Creation_date "2022-09-13T06:09:02"^^xsd:dateTime ;
    cf:DBLP_Series_ID "fmics" ;
    cf:DOI "10.25798/rq6y-6r76" ;
    cf:Display_Title "FMICS - International Workshop on Formal Methods for Industrial Critical Systems" ;
    cf:Has_subobject <https://id.confref.org/data/confident/31182/db24a9753f45dcf799c08fc100a11137> ;
    cf:Maintainer_Missing "false"^^xsd:boolean ;
    cf:Modification_date "2023-08-21T11:34:38"^^xsd:dateTime ;
    cf:Official_Website <https://fmics.inria.fr/> ;
    cf:Recurrence_Unit "year" ;
    cf:Title "International Workshop on Formal Methods for Industrial Critical Systems" ;
    cf:WikiCFP_Series_ID "1054" ;
    cf:Wikidata_Series_ID "Q105696762" ;
    cf:page <https://www.confident-conference.org/index.php/Event_Series:18970f09-4ba8-4bc6-82b8-5f20ecd4453f> ;
    cf:pageTitle "Event Series:18970f09-4ba8-4bc6-82b8-5f20ecd4453f" ;
    cr:discipline wd:Q1049183 ;
    cr:field <https://id.confref.org/data/oecd-fos/1.1> .
