Home Intro Wiki Docs FAQ Download Bugs Mail FM Tools

PVS Mailing Lists

We maintain several mailing lists relating to PVS. All are moderated to prevent junk mail. These all currently use Mailman, the GNU Mailing List Manager.

It is highly recommended that users subscribe to either the pvs or pvs-announce mailing list, in order to find out about important announcements.


PVS Direct Mail

The following addresses are used to contact us directly.
Home Intro Wiki Docs FAQ Download Bugs Mail FM Tools

Last modified: Thu 30 Nov 2006 04:16 PST
Maintainer: Sam Owre