NASA Logo

NASA Formal Methods 2022

47

10th Jan 22 (AoE)

24-27 May 2022

Caltech

NASA Formal Methods 2022

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving 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 during all stages of the software life-cycle.

The NASA Formal Methods Symposium is an annual event organized 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 in Pasadena, California.


Supported by: Caltech CAST

Submissions

Papers

Papers must be submitted in PDF using LNCS formatting.
  • Abstract submission deadline: 10 Jan 2022 (extended)
  • Paper submission deadline: 10 Jan 2022 (extended)
  • Camera-ready deadline: 28 Mar 2022
  • Deadlines are Any time On Earth (AOE)

Full paper length

15 pages

Short paper length

6 pages

SUBMIT PAPER LNCS guidelines Copyright Form

Venue

Registration

Register for participation at NFM 2022 using this registration form.

Location

NFM 2022 will take place as a physical event with a virtual component (mixed physical/virtual). Remote presentation will be allowed in every case for those authors unable or unwilling to attend in person. Note that Caltech requires all participants to be fully vaccinated!

Due to a number of on-going events (COVID, War in Ukraine), we recommend registrants to consider purchasing cancel-for-any-reason insurance. Please visit this website regularly for any notices that may limit or affect participation.

The symposium will be held at the Hameetman Center on the Caltech campus in Pasadena, CA. GPS Coordinates.

If you come in a car, we suggest parking in the parking structure on Holliston Avenue: map. Signs will point the way from there. Visitors will need to purchase a permit. More info can be found here. JPL employees can park with their JPL parking permit.

Banquet

The banquet will take place at Le Petit Paris, down town Los Angeles, in a reserved area overseeing the restaurant. The price for the banquet will be $85 with tax and gratuity included (drinks not included). Someone will be guiding the group from a meeting point in Pasadena to the restaurant. For directions to restautant, see this map.

Hotels

  • The Langham Hotel, a high-end hotel. Distance and walk time: (1.9 miles, 38 mins). The hotel offers Caltech's corporate rates for the symposium. Rates are Superior rooms at $215 and Deluxe Rooms at $239. Once these are sold out, upgraded room categories will be available at 25% off their Best Available Rates. Book here.
  • Hilton Pasadena, close to Pasadena Center (1.4 miles, 27 mins). The hotel offers rates at $159. Book here. Booking code NASA5.
  • Westin Pasadena close to Pasadena Center (1.9 miles, 36 mins). The hotel offers rates at $179. Book here.

Hotels near Pasadena center without special arrangements (room blocks):

Caltech's list of hotels local to campus - includes those mentioned above.

Tourism