Proof and Specification Assisted
Design Environments
ESPRIT Framework IV LTR 26241
Mailing Lists

There are two useful email addresses associated with the PROSPER project:
prosper-info and prosper-support.

prosper-info@dcs.gla.ac.uk

This list exists for announcements and discussions related to the ESPRIT PROSPER Project. You can subscribe by going to the web page

http://www.dcs.gla.ac.uk/mailman/listinfo/prosper-info

and entering your details.

prosper-support@dcs.gla.ac.uk

The PROSPER project came to an end on 14 May 2001, and project technical personnel are therefore no longer available to offer technical support. The

prosper-support@dcs.gla.ac.uk

mailing list is monitored, but we regret that we can no longer guarantee technical support to persons emailing this address. You might try opening a discussion on prosper-info@dcs.gla.ac.uk.