NASA logo

+ Contact NASA

  • + home
  • + On-line Class
  • + Program
  • + Technical Information
  • + Travel information
  • + Local information
  • + Flyer (pdf)
  • Langley Formal Methods Logo

    NASA/NIA PVS Class October 9-12, 2012

    The Formal Methods teams at the NASA Langley Research Center and the National Institute of Aerospace[*] are offering a short course on PVS[*] in the fall of 2012. The class will take place October 9-12 in Hampton, Virginia. We have conducted this course several times in the past, most recently in November 2007. The course is offered free of charge as a public service to the formal methods community. In return, attendees bear the cost of travel and lodging. The class is open to all interested individuals, including non-US citizens. However, seats are limited and all attendees must register.

    We emphasize a hands-on, immersion-style learning approach. Both lecture material and in-class exercises using PVS are featured. For this reason, we strongly encourage attendees to bring a laptop equipped to run PVS. For requirements, please see technical information.


    All the instructors are members of the NASA Langley Formal Methods group and expert PVS users. The PVS Class 2012 will feature a technical lecture and an invited talk by Sam Owre[*], one of the creators of PVS and its main developer.

    invited lecturer