science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

April 25, 2007

(CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments, Wim Vanhoof

April 20, 2007

[PT] Submissions - Kurt Goedel Centenary Research Prize Fellowships, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

April 18, 2007

Call For Participation - SEKE'07, Michael (Eonsuk) Shin

April 17, 2007

[PT] A Workshop Dedicated to J-Y-Girard, Aldo Ursini

April 16, 2007

[PT] E. W. Beth Dissertation Prize 2007: Extended Deadline, Carlos Areces

April 13, 2007

[PT] CFP - From type theory to morphologic complexity., Roberto Amadio

April 12, 2007

[PT] ADDCT'07: CFP: Abstract Submission Deadline May 4, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise