science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

September 12, 2007

[PT] FOOL2008: 2nd Call for papers, Atsushi Igarashi
(unknown), Atsushi Igarashi

September 08, 2007

[PT] CiE 2008 - 1st Call for Papers, Arnold Beckmann

September 05, 2007

[PT] M4M-5: Deadline Extension, 15th of September, Carlos Areces

September 04, 2007

[PT] On the Proof Complexity of Deep Inference, Alessio Guglielmi

News | FAQ | advertise