science.types (date)

science.types (date)

June 29, 2006

[TYPES/announce] Position preannouncement in Paris 7 (in ** mathematics **), Curien Pierre-Louis

June 26, 2006

[TYPES/announce] [CFP] SSS 2006 Deadline is only 10 days away!!!, Maria Gradinariu

June 23, 2006

[TYPES/announce] Nordic Workshop on Programming Theory 2006---preliminary announcement and call for contributions, Luca Aceto

June 22, 2006

[TYPES/announce] research position at Imperial, Smallfoot checker, Cristiano Calcagno
[TYPES/announce] CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06), Santiago Escobar
[TYPES/announce] LSFA'06 deadline extension, Christiano Braga

June 14, 2006

[TYPES/announce] IFIP WG 2.2 Anniversary Meeting - Call for Participation, Marino Miculan

June 13, 2006

[TYPES/announce] LSFA'06 Final Call for Papers, Christiano Braga

June 12, 2006

[TYPES/announce] LCC'06 submissions deadline extended to June 15, James S. Royer

June 09, 2006

[TYPES/announce] Logic Colloquium 2006: Call for Participation, Early Registration until June 15, Herman Geuvers

June 08, 2006

[TYPES/announce] Post Doc position Radboud University Nijmegen, Herman Geuvers

June 05, 2006

[TYPES/announce] ph.d. studentship, Sergei SOLOVIEV
[TYPES/announce] QPL 2006 Call for Participation, Student Support, Peter Selinger

June 02, 2006

[TYPES/announce] [CFP] Symposium on Stabilization, Safety, and Security of, Distributed Systems (SSS 2006), Maria Gradinariu

News | FAQ | advertise