science.mathematics.prooftheory (thread)

[PT] Yuri Matiyasevich - 60! Call for papers., Maxim Vsemirnov
[PT] Fwd: [Types] TPR'07 first call for papers, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
Re: [PT] Normalization in LL, Stephen Lengrand
- Re: [PT] Normalization in LL, David Baelde
[PT] Postdoc Positions on Deep Inference in Paris, Lutz Strassburger
[PT] CSL07 (11-15 September, 2007, Lausanne): Call for papers, Alessandro Facchini
SOS 2007 - Call for Papers, Rob van Glabbeek and Matthew Hennessy
[PT] FCT 2007 - SUBMISSION IS OPEN!, Erzsebet Csuhaj-Varju
SEKE2007 - Deadline extended to March 1, 2007, Michael (Eonsuk) Shin
- SEKE2007 - Deadline extended to March 1, 2007, Michael (Eonsuk) Shin
[PT] HyLo 2007 CFP, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE