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