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. Announcements of papers are welcome.
Moderator: Paola Bruscoli.
The list is archived at Gmane, and it is also accessible as a newsgroup. Email addresses are encrypted in the archives.
374 people and one organisation are on the list today: