science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

April 16, 2005

[PT] SD05: Deadline extension, Paola Bruscoli

April 15, 2005

[PT] Final CFP: Intuitionistic Modal Logic and Applications (IMLA'05), Frank Pfenning

April 13, 2005

[PT] Re: Two papers on models of classical proofs, David J. Pym
[PT] Two papers on models of classical proofs, David Pym
[PT] Readership at Bath, England, David Pym

April 11, 2005

[PT] PCC'05 Workshop, Lisbon, July 16-17, 2005, Reinhard Kahle
[PT] CiE 2005: Call for Participation, S B Cooper
[PT] CFP: MERLIN'05 at ICFP'05, Alwen Tiu

April 07, 2005

REMINDER: ICCL Summer School: Logic-based Knowledge Representation, Bertram Fronhoefer

April 06, 2005

CFP: MERLIN'05 at ICFP'05, Alwen Tiu

April 05, 2005

[PT] DEADLINE FOR ESSLLI 05 CHEAP REGISTRATION APPROACHING, Fairouz Kamareddine

News | FAQ | advertise