This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory. Please, if you are not a member of the list, don't send announcements of conferences, calls for papers, etc.; instead, papers announcements are welcome.
Click here to subscribe or here to unsubscribe; alternatively, send a message to Sympa@Lists.Bath.Ac.UK whose subject contains `subscribe frogs' or `unsubscribe frogs' 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 not moderated. If you send a message to the message is immediately delivered to all members. Please don't make this address publicly available in text form, including by crossposting to lists whose archives are accessible on the web (without address encryption).
The list is archived at Gmane and it is also accessible as a newsgroup. Email addresses are encrypted in the archives.
101 people are on the list today:
Groucho is here.