This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory. Please do not send announcements of conferences, calls for papers, etc., that you would send to the Proof Theory mailing list; instead, announcements of papers and discussions 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).
Archive and RSS feed (also on Gmane until August 2016).
108 people are on the list today:
11.4.2020 Alessio Guglielmi email