Proof-theoretic discussion group, mainly focused on the calculus of structures
Add your website to our directory for free.