science.mathematics.prooftheory (thread)

[PT] IJCAR Call for Papers, and Workshop and Tutorial Proposals, geoff-RUaG/XBVoqD2fBVCVOL8/A
[PT] WRLA'08 - Final CFP, Rosu, Grigore
[PT] TAMC 2008 - extension of deadline for paper submission, S B Cooper
[PT] CSR 2008: Second Call for Papers, Yuri Pritykin
[PT] CiE08 - 2nd Call for Papers, Arnold Beckmann
[PT] WoLLIC 2008 - Call for Papers, ruy-UbDI/fEVTnQIdKJ7tpkyPg
[PT] preprint, Emil Jerabek
[PT] CONCUR 2008 Call for Workshop Proposals, Richard Trefler
[PT] Deep Inference Christmas Meeting in Dresden, Dec 19, 2007, Lutz Strassburger