Next:
LAX – SJC: Fri.
Up:
The US West Coast:
Previous:
The Flights
Contents
LA & Pasadena: Fri. 20 – Fri. 27 May
Hotels:
The Los Angeles Athletic Club:
, 20–23 May, Q.DLX, res. 000185065,
431 West Seventh Street, Los Angeles, CA 90014 (213) 625-2211
Langham Huntington, Pasadena:
23–27 May, Deluxe King Room, 27405SC159921, 1401 South Oak Knoll Avenue, Pasadena
The NASA Formal Methods Symposium 2022:
Dates:
24–27 May 2022
Invited Speaker:
Dines Bjørner: Wednesday, May 25, 11:00 am – noon !
Venue:
Hameetman Center
, California Inst. of Technology, Pasadena
The Hameetman Centre
Museums:
The "Getties" with
Camilla, 5406 Lemon Grove Ave
, Hollywood/East Hollywood/Little Armenia
The Getty Center,
Santa Monica
The Getty Villa,
Malibu
The Gamble House,
Pasadena
People:
Klaus Havelund, Arlene Johns
Next:
LAX – SJC: Fri.
Up:
The US West Coast:
Previous:
The Flights
Contents