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.