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.