Runtime Verification and Monitoring

["MUNOZ, CESAR (LARC-D320)" <cesar.a.munoz AT nasa.gov>]

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 the PVS
theorem prover in the fall of 2012. The class will take place October 9-12
in Hampton, Virginia:

  http://shemesh.larc.nasa.gov/PVSClass2012

The course is offered free of charge as a public service to the formal
methods community. The class is open to all interested individuals.
However, seats are limited and all attendees must register at

http://shemesh.larc.nasa.gov/PVSClass2012/registration.html

We emphasize a hands-on, immersion-style learning approach. Both
lecturematerial and in-class exercises using PVS are featured. For this
reason,
we strongly encourage attendees to bring a laptop equipped to run PVS. 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.


For more information, please contact

  Cesar Munoz 
(Cesar.A.Munoz AT nasa.gov),
  Anthony Narkawicz 
(Anthony.Narkawicz AT nasa.gov)
  http://shemesh.larc.nasa.gov/PVSClass2012





---
To opt-out from this mailing list, send an email to

fm-announcements-request AT lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the 
request by contacting

fm-announcements-owner AT lists.nasa.gov