BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2018/newsitem/9347/17- --19-April-2018-Tenth-NASA-Formal-Methods-Symposiu m-NFM-2018-30-Years-of-Formal-Methods-at-NASA-News -VA-U-S-A- DTSTAMP:20170925T000153 SUMMARY:Tenth NASA Formal Methods Symposium (NFM 2 018): 30 Years of Formal Methods at NASA, News VA, U.S.A. DTSTART;VALUE=DATE:20180417 DTEND;VALUE=DATE:20180419 LOCATION:News VA, U.S.A. DESCRIPTION:The widespread use and increasing comp lexity of mission-critical and safety-critical sys tems at NASA and in the aerospace industry require advanced techniques that address these systems' s pecification, design, verification, validation, an d certification requirements. The NASA Formal Meth ods Symposium (NFM) is a forum to foster collabora tion between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to i dentify challenges and to provide solutions for ac hieving assurance for such critical systems. The focus of the symposium will be on formal technique s and other approaches for software assurance, inc luding their theory, current capabilities and limi tations, as well as their potential application to aerospace, robotics, and other NASA-relevant safe ty-critical systems during all stages of the softw are life-cycle. There are two categories of submi ssions: Regular papers (describing fully developed work and complete results, maximum 15 pages) and Short papers (on tools, experience reports, or wor k in progress with preliminary results, maximum 6 pages). All papers must be in English and describe original work that has not been published or subm itted elsewhere. X-ALT-DESC;FMTTYPE=text/html:
The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requi rements. The NASA Formal Methods Symposium (NFM) i s a forum to foster collaboration between theoreti cians and practitioners from NASA, academia, and i ndustry. NFM's goals are to identify challenges an d to provide solutions for achieving assurance for such critical systems.
\n\nThe focus of t he symposium will be on formal techniques and othe r approaches for software assurance, including the ir theory, current capabilities and limitations, a s well as their potential application to aerospace , robotics, and other NASA-relevant safety-critica l systems during all stages of the software life-c ycle.
There are two categorie s of submissions: Regular papers (describing fully developed work and complete results, maximum 15 p ages) and Short papers (on tools, experience repor ts, or work in progress with preliminary results, maximum 6 pages). All papers must be in English an d describe original work that has not been publish ed or submitted elsewhere.