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/2022/newsitem/13015/24 ---27-May-2022-14th-NASA-Formal-Methods-Symposium- NFM-2022-Pasadena-CA-U-S-A-or-virtual DTSTAMP:20211108T002040 SUMMARY:14th NASA Formal Methods Symposium (NFM 20 22), Pasadena CA (U.S.A.) or virtual DTSTART;VALUE=DATE:20220524 DTEND;VALUE=DATE:20220527 LOCATION:Pasadena CA (U.S.A.) or virtual DESCRIPTION:The widespread use and increasing comp lexity of mission-critical and safety-critical sys tems at NASA and in the aerospace industry require s advanced techniques that address these systems' specification, design, verification, validation, a nd certification requirements. The NASA Formal Met hods Symposium (NFM) is a forum to foster collabor ation between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for a chieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace d uring all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event o rganized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located i n Pasadena, California. The symposium is planned t o be held in person at California Institute of Tec hnology, but potentially transitioning to fully vi rtual if the COVID situation persists. Virtual pre sentations will be possible even if the conference is held in-person. There are two categories of s ubmissions: Regular papers describing fully develo ped work and complete results (maximum 15 pages, e xcluding references) and Short papers on tools, ex perience reports, or work in progress with prelimi nary results (maximum 6 pages, excluding reference s). Additional appendices can be submitted as supp lementary material for reviewing purposes. They wi ll not be included in the proceedings. All papers must be in English and describe original work that has not been published. Authors are encouraged, but not strictly required, to submit artifacts tha t support the conclusions of their work (if allowe d by their institutions). Artifacts may contain so ftware, mechanized proofs, benchmarks, examples, c ase studies and data sets. Artifacts will be evalu ated by the Program Committee together with the pa per. Courageous authors, who want to delve in ope n source software being applied in real NASA missi ons, and find possible connections to and applicat ions of Formal Methods, are invited to visit the o pen source repositories for the 'F' and 'cFS' fram eworks for programming flight software. X-ALT-DESC;FMTTYPE=text/html:
\n

The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry requires advanced techniques that address these systems' specification, design , verification, validation, and certification requ irements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoret icians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges a nd to provide solutions for achieving assurance fo r such critical systems. The focus of the symposiu m will be on formal/rigorous techniques for softwa re assurance, including their theory, current capa bilities and limitations, as well as their potenti al application to aerospace during all stages of t he software life-cycle.

\n\n

The NASA Forma l Methods Symposium is an annual event organized b y the NASA Formal Methods (NFM) Research Group, co mposed of researchers spanning six NASA centers. T he organization of NFM 2022 is being led by the Je t Propulsion Laboratory (JPL), located in Pasadena , California. The symposium is planned to be held in person at California Institute of Technology, b ut potentially transitioning to fully virtual if t he COVID situation persists. Virtual presentations will be possible even if the conference is held i n-person.

\n
\n

There are two cat egories of submissions: Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references) and Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excludi ng references). Additional appendices can be submi tted as supplementary material for reviewing purpo ses. They will not be included in the proceedings. All papers must be in English and describe origin al work that has not been published.

\n\n

A uthors are encouraged, but not strictly required, to submit artifacts that support the conclusions o f their work (if allowed by their institutions). A rtifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committ ee together with the paper.

\n\n

Courageous authors, who want to delve in open source softwar e being applied in real NASA missions, and find po ssible connections to and applications of Formal M ethods, are invited to visit the open source repos itories for the 'F' and 'cFS' fr ameworks for programming flight software.

\n URL:https://shemesh.larc.nasa.gov/nfm2022/ CONTACT:nfm2022 at easychair.org END:VEVENT END:VCALENDAR