science.mathematics.prooftheory (thread)

[PT] CONCUR 2007 Call for Papers, Vasco Vasconcelos
[PT] Normalization in LL, David Baelde
- Re: [PT] Normalization in LL, James Brotherston
[PT] WoLLIC'2007 - CfP, ruy-UbDI/fEVTnQIdKJ7tpkyPg
[PT] CFP, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] [Fwd: Carnegie Mellon Summer School in Logic and Formal Epistemology], Sicun Gao
[PT] Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA
(unknown), csr2007
SEKE07 CFP, Michael (Eonsuk) Shin
[PT] USMC'07: Final call for talks and registration, Jon Cohen