Record Beta

NFM 2017

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

This record is part of the confref event NFM 2017 : The 9th NASA Formal Methods Symposium.

rdf:type	cf:Category_Event
schema:location	Mountain View (wd:Q486860)
rdfs:label	NFM 2017
cf:Abstract_Deadline	2016-11-28
cf:Academic_Field	https://id.confref.org/data/confident/26040
cf:Academic_Field	https://id.confref.org/data/confident/26775
cf:Academic_Field	https://id.confref.org/data/confident/27081
cf:Academic_Field	https://id.confref.org/data/confident/30551
cf:Acronym	NFM 2017
cf:City	Mountain View
cf:Country	https://id.confref.org/data/confident/31086
cf:Country_Missing	false
cf:Creation_date	2022-04-06T23:42:10
cf:Display_Title	NFM 2017
cf:End_Date	2017-05-18
cf:Event_Mode	on site
cf:Event_Status	as scheduled
cf:Has_Metric	false
cf:Has_subobject	https://id.confref.org/data/confident/12510/3688c877634a328b5d8b3118eaceccfb
cf:Has_subobject	https://id.confref.org/data/confident/12510/7503a0f2bb6bb63aa8e1e356a80e7952
cf:Has_subobject	https://id.confref.org/data/confident/12510/75c0871c670e43e71cdad3226e741230
cf:Modification_date	2022-10-19T14:14:05
cf:Month	5
cf:Notification_Deadline	2017-02-03
cf:Official_Website	http://ti.arc.nasa.gov/events/nfm-2017/
cf:Organizer_Missing	true
cf:Region	California
cf:Single_Day_Event	no
cf:Start_Date	2017-05-16
cf:Start_Date_Missing	false
cf:Submission_Deadline	2016-12-05
cf:Title	NFM 2017 : The 9th NASA Formal Methods Symposium
cf:Year	2017
cf:page	https://www.confident-conference.org/index.php/Event:NFM_2017
cf:pageTitle	Event:NFM 2017
cr:discipline	formal methods (wd:Q1049183)
cr:discipline	test (wd:Q27318)
cr:discipline	software engineering (wd:Q80993)
cr:field	Mathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:field	Engineering and technology (https://id.confref.org/data/oecd-fos/2)

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

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