science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

November 30, 2007

[PT] IJCAR Call for Papers, and Workshop and Tutorial Proposals, geoff-RUaG/XBVoqD2fBVCVOL8/A

November 27, 2007

[PT] WRLA'08 - Final CFP, Rosu, Grigore

November 26, 2007

[PT] TAMC 2008 - extension of deadline for paper submission, S B Cooper

November 23, 2007

[PT] CSR 2008: Second Call for Papers, Yuri Pritykin

November 19, 2007

[PT] CiE08 - 2nd Call for Papers, Arnold Beckmann

November 15, 2007

[PT] WoLLIC 2008 - Call for Papers, ruy-UbDI/fEVTnQIdKJ7tpkyPg

November 12, 2007

[PT] preprint, Emil Jerabek

November 07, 2007

[PT] CONCUR 2008 Call for Workshop Proposals, Richard Trefler

November 05, 2007

[PT] Deep Inference Christmas Meeting in Dresden, Dec 19, 2007, Lutz Strassburger

News | FAQ | advertise