science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

May 30, 2007

[PT] ESSLLI 2008: Call for Course and Workshop Proposals, Rineke Verbrugge

May 29, 2007

Re: [PT] Proof Normalization in Natural Deduction, Roy Dyckhoff
(unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
Re: [PT] Proof Normalization in Natural Deduction, Klaus Ostermann
Re: [PT] Proof Normalization in Natural Deduction, Roy Dyckhoff
Re: [PT] Proof Normalization in Natural Deduction, Alex Summers

May 28, 2007

[PT] Proof Normalization in Natural Deduction, Klaus Ostermann
[PT] LPAR 2007 (Yerevan, Armenia) - submission deadline June 4th, geoff-RUaG/XBVoqD2fBVCVOL8/A

May 24, 2007

[PT] RDP'07 Registration open until May 31, Ralf Treinen
[PT] Workshop on Deep Inference in Paris, Lutz Strassburger

May 18, 2007

[PT] Research Fellowship in Theoretical Foundations of Scientific, Anton Setzer
[PT] ICALP 2007 - Last Call for Participation, ICALP 2007 conference

May 16, 2007

[PT] CiE 2007 - Final call for participation, S B Cooper

May 12, 2007

[PT] WoLLIC'2007 - Call for Participation, ruy-UbDI/fEVTnQIdKJ7tpkyPg

May 04, 2007

[PT] RDP'07 First Call for Participation, Ralf Treinen

May 03, 2007

[PT] LPAR 2007 (Yerevan, Armenia) - Call For Papers, LPAR

May 02, 2007

[PT] ADDCT'07: LAST CFP: Abstract Submission Deadline May 4, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise