NASA logo

+ Contact NASA

  • + home
  • + registration
  • + Program
  • + Technical Information
  • + Travel information
  • + Local information
  • + Flyer (pdf)
  • Langley Formal Methods Logo

    NASA/NIA PVS Class October 9-12, 2012

    There will not be a registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend. However, seats are limited and all attendees must register.

    Registrations are currently closed. However, we can still accommodate a few participants. If you want to attend the PVS Class 2012, please send an email to

    If you are interested in taking the class, but cannot attend it, NIA will webcast and record the class for on-demand viewing. For the on-line version of the class[*], please note that times are in the US EDT (UTC-4:00) time zone. The number of live connections is limited.

    The PVS Class 2012 lectures, exercises, and solutions are electronically available as tgz and zip compressed files. Uncompress one of these files and browse the class through the file pvsclass2012/index.html.