November 2009 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Thu Nov 5 19:21:25 CET 2009
Ending: Mon Nov 30 18:34:09 CET 2009
Messages: 16

• [Om-announce] ARSPA-WITS'10: call for papers   Alessandro Armando
• [Om-announce] (no subject)   S B Cooper
• [Om-announce] Second call for papers: Mathematics of Program Construction   Jules Desharnais
• [Om-announce] Preliminary call for papers PLAS 2010   Deepak Garg
• [Om-announce] VSTTE 2010: Verified Software -- Second Call for Papers   Gudmund Grov
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2010 - Call For Papers   Peter Horn
• [Om-announce] Memocode 2010 First Call for Papers   Barbara Jobstmann
• [Om-announce] ITP 2010 - Second Call for Papers   Matt Kaufmann
• [Om-announce] CFP: LOPSTR 2010   Temur Kutsia
• [Om-announce] CFA: Training School in Symbolic Computation   Temur Kutsia
• [Om-announce] Doctoral Studies in Symbolic Computation at RISC-Linz   Guenter Landsmann
• [Om-announce] [fm-announcements] NFM 2010 (2nd Call for Papers)   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] FLoC 2010: Call for Papers   Nicole Schweikardt
• [Om-announce] FLoC 2010: Call for Papers   Nicole Schweikardt
• [Om-announce] IJCAR 2010 - first call for papers   Viorica Sofronie-Stokkermans
• [Om-announce] DiScoTec 2010: Call for Workshop Proposals   Gianluigi Zavattaro

Last message date: Mon Nov 30 18:34:09 CET 2009
Archived on: Thu Dec 3 14:42:25 CET 2009

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...