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 is not clear to us that you are not a spammer (for example you use a nickname and a commercial provider), we will 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 we 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.
404 people and one organisation are on the list today: