Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

FM 2014

https://id.confref.org/data/confident/30818

This record is part of the confref event 19th International Symposium on Formal Methods.

rdf:typecf:Category_Event
schema:locationQueenstown MRT station (wd:Q3272270)
rdfs:labelFM 2014
cf:Abstract_Deadline2013-11-07
cf:Academic_Fieldhttps://id.confref.org/data/confident/25698
cf:Academic_Fieldhttps://id.confref.org/data/confident/26775
cf:AcronymFM 2014
cf:Camera-Ready_Deadline2014-02-25
cf:CityQueenstown
cf:Countryhttps://id.confref.org/data/confident/31049
cf:Country_Missingfalse
cf:Creation_date2022-09-06T06:31:08
cf:DOI10.25798/emfa-cz95
cf:Display_TitleFM 2014
cf:End_Date2014-05-16
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/0ce2db1f2ef3fefb7b403cab447f8bbe
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/16dc794a7cfd8c773101ce6d0e597fa4
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/390b0ab333c6e5b84c76b2c080715772
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/590dea792f1d73d19bb3bf0ecfa06cf1
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/6e7d2cd8385588d39d99296bdda0c8d0
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/85bbcb445a608d79d4d0f412b945a7ff
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/b6c4726ee2b884ecc5e7f9affc199623
cf:Has_subobjecthttps://id.confref.org/data/confident/30818/f371dc0cd43d5204941c43d76e11f135
cf:In_Event_Serieshttps://id.confref.org/data/confident/30717
cf:Modification_date2023-08-17T09:53:55
cf:Month5
cf:Notification_Deadline2014-02-16
cf:Number_Of_Accepted_Papers49
cf:Official_Websitehttps://www.comp.nus.edu.sg/~pat/FM2014/
cf:Ordinal19
cf:Organizer_Missingfalse
cf:RegionSouth West
cf:Single_Day_Eventno
cf:Start_Date2014-05-12
cf:Start_Date_Missingfalse
cf:Submission_Deadline2013-11-14
cf:Submission_Linkhttp://www.easychair.org/conferences/?conf=fm2014
cf:Title19th International Symposium on Formal Methods
cf:VenueNational University of Singapore
cf:Year2014
cf:pagehttps://www.confident-conference.org/index.php/Event:Ae12ec00-9841-48fe-93e9-d31af2204176
cf:pageTitleEvent:Ae12ec00-9841-48fe-93e9-d31af2204176
cr:disciplineformal methods (wd:Q1049183)
cr:disciplinecomputer science (wd:Q21198)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAshttps://dblp.org/db/conf/fm/fm2014

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.