science.mathematics.prooftheory (thread)

[PT] ESSLLI 2008: Second Call for Course and Workshop Proposals, Rineke Verbrugge
[PT] Deadline extension: FST TCS 2007 (June 20 2007), by way of Alessio Guglielmi
FOOL2008 Call for Papers, Atsushi Igarashi
WLPE'07 - Deadline extension, Wim Vanhoof
[PT] Call for Papers Reminder: FST TCS 2007 Submission deadline is June 17, Sanjiva Prasad
[PT] ADDCT'07: Call for Participation: Early Reg. Deadline Jun 10, Ashish Tiwari
[PT] Jean-Yves Girard's Festschrift, Olivier LAURENT
(2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07), Wim Vanhoof
ESSLLI 2008: Call for Course and Workshop Proposals, Carlos Areces