Difference between revisions of "NFM 2017"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
 +
|Acronym=NFM 2017
 +
|Title=NFM  2017 : The 9th NASA Formal Methods Symposium
 +
|Type=Conference
 
|Field=formal methods, safet critical systems, software engineering, testing
 
|Field=formal methods, safet critical systems, software engineering, testing
 +
|Start date=2017/05/16
 +
|End date=2017/05/18
 +
|Homepage=ti.arc.nasa.gov/events/nfm-2017/
 +
|City=Mountain View
 +
|State=California
 +
|Country=USA
 
|Submission deadline=2016/12/05
 
|Submission deadline=2016/12/05
 
|Abstract deadline=2016/11/28
 
|Abstract deadline=2016/11/28
Line 6: Line 15:
 
|Attendance fee currency=$
 
|Attendance fee currency=$
 
|On site regular=0
 
|On site regular=0
|Acronym=NFM 2017
 
|End date=2017/05/18
 
|Type =Conference
 
|Country=US
 
|State=US/CA
 
|City =US/CA/Mountain View
 
|Homepage=ti.arc.nasa.gov/events/nfm-2017/
 
|Start date=2017/05/16
 
|Title=NFM  2017 : The 9th NASA Formal Methods Symposium
 
 
}}
 
}}

Revision as of 16:20, 3 November 2021


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at NFM 2017/rating

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
On site regular: $ 0
Table of Contents