science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

July 25, 2008

[PT] Review of Symbolic Logic (RSL), Patrick Blackburn
[PT] AiML08: Preliminary Program now Available, Carlos Areces

July 20, 2008

[PT] LPAR'08 workshops, Geoff Sutcliffe

July 18, 2008

[PT] CSL 2008: Call for Participation, Ugo Dal Lago
[PT] ESSLLI 2009 - Second Call for Course and Workshop Proposals, Richard Moot

July 15, 2008

[PT] IJCAR in Australia, 1 month to go, Geoff Sutcliffe

July 11, 2008

[PT] JELIA - registration opened, Bertram Fronhoefer
[PT] JOB OPPORTUNITY, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

July 03, 2008

[PT] Full professor position, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise