The mailing list address is proofgeneral@dcs.ed.ac.uk.

To subscribe or unsubscribe, you can fill in the form below.
Or send a message to majordomo@dcs.ed.ac.uk with the words "subscribe proofgeneral" (or "unsubscribe proofgeneral") in the message body.

Mailing list subscription

Your name:
Email address:
Please add me to the mailing list.
Please remove me from the mailing list.

Dear " . $from . ",

\n"; }; print "

"; print "Your request to " . $request . " the proof general mailing list has been submitted.
"; print "Thank-you!"; print "

\n

"; click_to_go_back(); footer(); endif; ?>