# https://id.confref.org/event/e11cfnb (confref labs, beta)
@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/event/e11cfnb>
    a cr:Event ;
    schema:alternateName "IMPERIAL" ;
    schema:endDate "1993-03-31"^^xsd:date ;
    schema:location wd:Q23346 ;
    schema:name "Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993" ;
    schema:startDate "1993-03-29"^^xsd:date ;
    rdfs:label "Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993" ;
    cr:discipline wd:Q21198 ;
    cr:field <https://id.confref.org/data/oecd-fos/1.2> ;
    cr:inSeries <https://id.confref.org/series/s10cseh> ;
    cr:proceedings <https://dblp.org/rec/conf/imperial/1993> ;
    cr:sameAs <https://dblp.org/db/conf/imperial/imperial1993> ,
        <https://id.confref.org/data/confref-portal/event/imperial1993> ;
    cr:year "1993"^^xsd:gYear .