science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

June 24, 2007

[PT] ESSLLI 2008: Second Call for Course and Workshop Proposals, Rineke Verbrugge
[PT] Deadline extension: FST TCS 2007 (June 20 2007), by way of Alessio Guglielmi

June 18, 2007

FOOL2008 Call for Papers, Atsushi Igarashi

June 16, 2007

WLPE'07 - Deadline extension, Wim Vanhoof

June 12, 2007

[PT] Call for Papers Reminder: FST TCS 2007 Submission deadline is June 17, Sanjiva Prasad

June 10, 2007

[PT] ADDCT'07: Call for Participation: Early Reg. Deadline Jun 10, Ashish Tiwari

June 08, 2007

[PT] Jean-Yves Girard's Festschrift, Olivier LAURENT

June 02, 2007

(2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07), Wim Vanhoof

June 01, 2007

ESSLLI 2008: Call for Course and Workshop Proposals, Carlos Areces

News | FAQ | advertise