science.mathematics.prooftheory (thread)

[PT] Review of Symbolic Logic (RSL), Patrick Blackburn
[PT] AiML08: Preliminary Program now Available, Carlos Areces
[PT] LPAR'08 workshops, Geoff Sutcliffe
[PT] CSL 2008: Call for Participation, Ugo Dal Lago
[PT] ESSLLI 2009 - Second Call for Course and Workshop Proposals, Richard Moot
[PT] IJCAR in Australia, 1 month to go, Geoff Sutcliffe
[PT] JELIA - registration opened, Bertram Fronhoefer
[PT] JOB OPPORTUNITY, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] Full professor position, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE