Difference between revisions of "NFM 2017"

From Openresearch
Jump to: navigation, search
m (1 revision imported)
Line 4: Line 4:
 
|Type=Conference
 
|Type=Conference
 
|Field=formal methods, safet critical systems, software engineering, testing
 
|Field=formal methods, safet critical systems, software engineering, testing
|Start date=2017-05-16T00:00:00
+
|Start date=2017/05/16
|End date=2017-05-18T23:59:59
+
|End date=2017/05/18
|City=NASA Ames Research Center
 
|Country=Moffett Field
 
 
|Homepage=ti.arc.nasa.gov/events/nfm-2017/
 
|Homepage=ti.arc.nasa.gov/events/nfm-2017/
|Abstract deadline = 2016-11-28T00:00:00
+
|City=Mountain View
|Notification = 2017-02-03T00:00:00
+
|State=California
|Submission deadline= 2016-12-05T00:00:00
+
|Country=USA
 +
|Submission deadline=2016/12/05
 +
|Abstract deadline=2016/11/28
 +
|Notification=2017/02/03
 
}}
 
}}

Revision as of 17:10, 19 December 2016

NFM 2017
NFM 2017 : The 9th NASA Formal Methods Symposium
Dates 2017/05/16 (iCal) - 2017/05/18
Homepage: ti.arc.nasa.gov/events/nfm-2017/
Location
Location: Mountain View, California, USA
Loading map...

Important dates
Abstracts: 2016/11/28
Submissions: 2016/12/05
Notification: 2017/02/03
Table of Contents


Facts about "NFM 2017"
Abstract deadlineNovember 28, 2016 +
AcronymNFM 2017 +
End dateMay 18, 2017 +
Event typeConference +
Has coordinates37° 23' 22", -122° 5' 0"Latitude: 37.389388888889
Longitude: -122.08321111111
+
Has location cityMountain View +
Has location countryCategory:USA +
Has location stateCalifornia +
Homepagehttp://ti.arc.nasa.gov/events/nfm-2017/ +
IsAEvent +
NotificationFebruary 3, 2017 +
Start dateMay 16, 2017 +
Submission deadlineDecember 5, 2016 +
TitleNFM 2017 : The 9th NASA Formal Methods Symposium +