# https://id.confref.org/data/confident/30717 (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/30717>
    a cf:Category_Event_Series ;
    rdfs:label "FM - International Symposium on Formal Methods" ;
    cf:Academic_Field <https://id.confref.org/data/confident/25698> ,
        <https://id.confref.org/data/confident/26151> ,
        <https://id.confref.org/data/confident/26493> ,
        <https://id.confref.org/data/confident/26775> ,
        <https://id.confref.org/data/confident/27792> ,
        <https://id.confref.org/data/confident/30718> ;
    cf:Acronym "FM" ;
    cf:Creation_date "2022-09-05T10:00:20"^^xsd:dateTime ;
    cf:DBLP_Series_ID "fm" ;
    cf:DOI "10.25798/c2y4-cq79" ;
    cf:Display_Title "FM - International Symposium on Formal Methods" ;
    cf:Has_subobject <https://id.confref.org/data/confident/30717/f57eef57967e5c745a41e6d17860a12e> ;
    cf:Maintainer_Missing "false"^^xsd:boolean ;
    cf:Modification_date "2023-08-17T09:00:30"^^xsd:dateTime ;
    cf:Official_Website <https://www.fmeurope.org/> ;
    cf:Recurrence_Unit "year" ;
    cf:Title "International Symposium on Formal Methods" ;
    cf:WikiCFP_Series_ID "1050" ;
    cf:Wikidata_Series_ID "Q105696839" ;
    cf:page <https://www.confident-conference.org/index.php/Event_Series:05ece683-3a09-462a-b8b2-a11a83055848> ;
    cf:pageTitle "Event Series:05ece683-3a09-462a-b8b2-a11a83055848" ;
    cr:discipline wd:Q1049183 ,
        wd:Q21198 ,
        wd:Q275603 ,
        wd:Q6504747 ;
    cr:field <https://id.confref.org/data/oecd-fos/1.1> ,
        <https://id.confref.org/data/oecd-fos/1.2> .