science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

January 30, 2007

Re: [PT] Normalization in LL, James Brotherston
[PT] CONCUR 2007 Call for Papers, Vasco Vasconcelos
[PT] Normalization in LL, David Baelde

January 28, 2007

[PT] WoLLIC'2007 - CfP, ruy-UbDI/fEVTnQIdKJ7tpkyPg

January 23, 2007

[PT] CFP, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

January 22, 2007

[PT] [Fwd: Carnegie Mellon Summer School in Logic and Formal Epistemology], Sicun Gao

January 19, 2007

[PT] Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA

January 15, 2007

(unknown), csr2007

January 13, 2007

SEKE07 CFP, Michael (Eonsuk) Shin

January 04, 2007

[PT] USMC'07: Final call for talks and registration, Jon Cohen

News | FAQ | advertise