# https://id.confref.org/data/confident/31104 (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 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/31104>
    a cf:Category_Event ;
    schema:location wd:Q90 ;
    rdfs:label "FM 2012" ;
    cf:Academic_Field <https://id.confref.org/data/confident/25698> ,
        <https://id.confref.org/data/confident/26775> ;
    cf:Acronym "FM 2012" ;
    cf:Camera-Ready_Deadline "2012-06-04"^^xsd:date ;
    cf:City "Paris" ;
    cf:Country <https://id.confref.org/data/confident/30924> ;
    cf:Country_Missing "false"^^xsd:boolean ;
    cf:Creation_date "2022-09-08T05:59:27"^^xsd:dateTime ;
    cf:DOI "10.25798/ct9m-1g05" ;
    cf:Display_Title "FM 2012" ;
    cf:End_Date "2012-08-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/31104/632a77cdde2040c6ad316a50ae2fe015> ,
        <https://id.confref.org/data/confident/31104/891e24789e242b562a228fa2876ff0bd> ,
        <https://id.confref.org/data/confident/31104/91ad7a21c825957fe7b15f994d35e050> ,
        <https://id.confref.org/data/confident/31104/be8d9d829920db260c042b6402ca5fc8> ,
        <https://id.confref.org/data/confident/31104/c97c43968ba62dda6d235f8afcc19753> ,
        <https://id.confref.org/data/confident/31104/deaffb803c847c74b445e72aea42fbe1> ,
        <https://id.confref.org/data/confident/31104/f371dc0cd43d5204941c43d76e11f135> ;
    cf:In_Event_Series <https://id.confref.org/data/confident/30717> ;
    cf:Modification_date "2026-10-19T06:47:45"^^xsd:dateTime ;
    cf:Month "8"^^xsd:integer ;
    cf:Notification_Deadline "2012-05-07"^^xsd:date ;
    cf:Number_Of_Accepted_Papers "38"^^xsd:integer ;
    cf:Official_Website <http://fm2012.cnam.fr/> ;
    cf:Ordinal "18"^^xsd:integer ;
    cf:Organizer_Missing "false"^^xsd:boolean ;
    cf:Region "Île-de-France" ;
    cf:Single_Day_Event "no" ;
    cf:Start_Date "2012-08-27"^^xsd:date ;
    cf:Start_Date_Missing "false"^^xsd:boolean ;
    cf:Submission_Deadline "2012-03-05"^^xsd:date ;
    cf:Title "18th International Symposium on Formal Methods" ;
    cf:Venue "Conservatoire National des Arts et Metiers" ;
    cf:Year "2012"^^xsd:integer ;
    cf:page <https://www.confident-conference.org/index.php/Event:68331c6e-6fa2-4164-be99-8cb639c4941a> ;
    cf:pageTitle "Event:68331c6e-6fa2-4164-be99-8cb639c4941a" ;
    cr:discipline wd:Q1049183 ,
        wd:Q21198 ;
    cr:field <https://id.confref.org/data/oecd-fos/1.1> ;
    cr:sameAs <https://dblp.org/db/conf/fm/fm2012> .