science.mathematics.prooftheory (thread)

(CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments, Wim Vanhoof
[PT] Submissions - Kurt Goedel Centenary Research Prize Fellowships, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
Call For Participation - SEKE'07, Michael (Eonsuk) Shin
[PT] A Workshop Dedicated to J-Y-Girard, Aldo Ursini
[PT] E. W. Beth Dissertation Prize 2007: Extended Deadline, Carlos Areces
[PT] CFP - From type theory to morphologic complexity., Roberto Amadio
[PT] ADDCT'07: CFP: Abstract Submission Deadline May 4, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE