Difference between revisions of "NFM 2017"
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 | + | |Start date=2017/05/16 |
− | |End date=2017 | + | |End date=2017/05/18 |
− | |||
− | |||
|Homepage=ti.arc.nasa.gov/events/nfm-2017/ | |Homepage=ti.arc.nasa.gov/events/nfm-2017/ | ||
− | |Abstract deadline = 2016 | + | |City=Mountain View |
− | |Notification = 2017 | + | |State=California |
− | + | |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 deadline | November 28, 2016 + |
Acronym | NFM 2017 + |
End date | May 18, 2017 + |
Event type | Conference + |
Has coordinates | 37° 23' 22", -122° 5' 0"Latitude: 37.389388888889 Longitude: -122.08321111111 + |
Has location city | Mountain View + |
Has location country | Category:USA + |
Has location state | California + |
Homepage | http://ti.arc.nasa.gov/events/nfm-2017/ + |
IsA | Event + |
Notification | February 3, 2017 + |
Start date | May 16, 2017 + |
Submission deadline | December 5, 2016 + |
Title | NFM 2017 : The 9th NASA Formal Methods Symposium + |