science.mathematics.prooftheory (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise