NASA Formal Methods 2022
Submissions
Papers
- 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
Venue
Registration
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):
- Hyatt Place Pasadena (1.5 miles, 30 mins)
- Sheraton Pasadena (1.7 miles, 32 mins)
- Marriott Courtyard Pasadena (2.3 miles, 44 mins)
Caltech's list of hotels local to campus - includes those mentioned above.
Tourism