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.
This list is for important announcements relating to the PVS system. Subscribe to this list if you want only to see such messages, and not all the PVS mailing list traffic.
This list is for the discussion of topics of general interest to all PVS users. This list is typically low-traffic, and contains items such as calls for papers, announcements of new PVS related papers, and notifications of new releases of PVS.
A moderated list for submitting questions about any aspect of the use of PVS. Messages are distributed to a group of experienced users who have offered to provide help. You can send messages to this list at any time, and do not need to subscribe.
This is for discussions about the design, development, and implementation of PVS.
To subscribe or unsubscribe to any of these lists, either visit http://lists.csl.sri.com/mailman/listinfo/, or send mail to the desired list with -subscribe or -unsubscribe appended (e.g., pvs-announce-subscribe, pvs-subscribe, pvs-help-subscribe, or pvs-devel-subscribe ). You must include a valid email address. After submitting your request, you will get mail asking for confirmation; just follow the instructions.
This is not a mailing list, but a way to contact the PVS developers at SRI directly. Bugs and suggestions should be sent to pvs-bugs.
A list for reporting any problems you experience with PVS, and also any suggestions for enhancements and improvements.
See the reporting bugs web page for more information on how to report a bug, or view the bug tracking database.