science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

June 28, 2005

[PT] MoVeLog'05: workshop on Computational logic, Mobile Code Safety, Program Verification, James Lipton

June 18, 2005

[PT] CFP: M4M-4 (Methods for Modalities 2005), Holger Schlingloff
(unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

June 13, 2005

[PT] LPAR last CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
[PT] [ESSLLI2006] Last Call for Courses and Workshop Proposals, Carlos Areces

June 09, 2005

[PT] CSL'05 Call for Participation, Andrzej Murawski

June 06, 2005

[PT] FINAL CALL FOR ESSLLI05 registration, Fairouz Kamareddine

June 04, 2005

[PT] Begriffsschrift Editor, Marcus Rossberg

June 02, 2005

[PT] [ESSLLI 2006] Second Call for Course and Workshop Proposals, Carlos Areces

June 01, 2005

historical... data retrieval [EX Re: [PT] question on ND and sequents], Adrian Rezus
Re: [PT] question on ND and sequents, William Tait

News | FAQ | advertise