Difference between revisions of "NFM 2017"
Jump to navigation
Jump to 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 | + | |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 |
| Important dates | |
| Abstracts: | 2016/11/28 |
| Submissions: | 2016/12/05 |
| Notification: | 2017/02/03 |
| Table of Contents | |