We emphasize a hands-on, immersion-style learning approach. Both lecture material and in-class exercises using PVS are featured. As a service to the community, NIA will webcast and record the class for on-demand viewing.
The PVS Class 2012 lectures, exercises, and solutions are
electronically available as compress files (
ISO image file (370Mb) of a CD containing all the material prepared
for this class is also avialable.
Browse the content of the CD through the file