This is a mailing list devoted to proof theory.
Click here to subscribe or here to unsubscribe; alternatively, send a message to Sympa@Lists.Bath.Ac.UK whose subject contains `subscribe prooftheory' or `unsubscribe prooftheory' without quotes.
Subscription to the list is moderated. In case you ask for subscription but it's not clear to me you're not a spammer (for example you use a nickname and a commercial provider), I'll ask you for some information about yourself. Email addresses of subscribers are kept secret.
The list is moderated. If you send a proof-theoretic message to
the message is delivered to all members as soon as I get it. Please only send announcements of conferences, calls for papers, etc. that are related to proof theory, but not religion. Announcements of papers are welcome.
The list is archived at Gmane, and it is also accessible as a newsgroup. Email addresses are encrypted in the archives.
356 persons and one organisation are on the list today:
8.2.2010
Alessio Guglielmi
email