science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

February 28, 2007

[PT] Yuri Matiyasevich - 60! Call for papers., Maxim Vsemirnov

February 27, 2007

[PT] Fwd: [Types] TPR'07 first call for papers, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

February 25, 2007

Re: [PT] Normalization in LL, David Baelde
Re: [PT] Normalization in LL, Stephen Lengrand

February 22, 2007

[PT] Postdoc Positions on Deep Inference in Paris, Lutz Strassburger

February 21, 2007

[PT] CSL07 (11-15 September, 2007, Lausanne): Call for papers, Alessandro Facchini

February 14, 2007

SOS 2007 - Call for Papers, Rob van Glabbeek and Matthew Hennessy

February 10, 2007

[PT] FCT 2007 - SUBMISSION IS OPEN!, Erzsebet Csuhaj-Varju

February 09, 2007

SEKE2007 - Deadline extended to March 1, 2007, Michael (Eonsuk) Shin

February 08, 2007

SEKE2007 - Deadline extended to March 1, 2007, Michael (Eonsuk) Shin
[PT] HyLo 2007 CFP, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise