science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

November 12, 2004

ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2005) and workshop (Deadline: Dec 17, 2004) proposals, lauth

November 11, 2004

[PT] List policy and Frogs, Alessio Guglielmi

November 10, 2004

[PT] LPAR'04: Deadline approaching, Prof. Franz Baader

November 03, 2004

[PT] ESSLLI'05 Student Session Call for Papers, Judit Gervain

News | FAQ | advertise