May 2009 Archives by thread

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

Starting: Sat May 2 03:04:37 CEST 2009
Ending: Thu May 28 19:32:22 CEST 2009
Messages: 27

• [Om-announce] DCM 2009, Rhodes, Greece - EXTENDED DEADLINE: 7 MAY, 2009   S Barry Cooper
• [Om-announce] [Ppdp09] PPDP'09 - EXTENDED DEADLINES   António Porto
• [Om-announce] Final call for papers: LOPSTR09   International
• [Om-announce] TLCA'09 - Call for Participation   Luca Paolini
• [Om-announce] [CFP] Special Issue of the LJ-IGPL on Hybrid Logics   Carlos Areces
• [Om-announce] FOPARA'09 -- First Call for Papers   CFP
• [Om-announce] HLDVT 2009 Call for Papers   Shireesh Verma
• [Om-announce] STACS 2010   Jean-Yves Marion
• [Om-announce] 2nd CFP: 6th workshop on "Methods for Modalities" (M4M-6)   Thomas Bolander
• [Om-announce] Call for papers - WCB09   Alessandro Dal Palu'
• [Om-announce] 22nd IEEE Computer Security Foundations Symposium (CSF 2009): Call for Participation   Scott Stoller
• [Om-announce] ICLP'09 Call for Participation   Ricardo Rocha
• [Om-announce] FLoC 2010: First Announcement   Nicole Schweikardt
• [Om-announce] FMCAD'09 Last Call for Papers   Armin Biere
• [Om-announce] Deadline extension: ISSAC'09 Posters and Software Presentations   Temur Kutsia
• [Om-announce] FLoC 2010: Call for Workshop Proposals   Nicole Schweikardt
• [Om-announce] First Call for Papers: DAMP 2010   jlpspi
• [Om-announce] UNIF 2009: Call for Papers (Extended Deadline)   Narendran Paliath
• [Om-announce] Call for papers: SVT at ACM SAC 2010   Jan Cederquist
• [Om-announce] 1st CFP - Special Issue of the JSC on Invariant Generation   Laura Kovacs
• [Om-announce] LASER summer school on software testing -- Elba, 6-12 September 2009   Martin Nordio
• [Om-announce] ICLP'09 Call for Participation   Ricardo Rocha
• [Om-announce] Call for Papers : Malware 2010   Jean-Yves Marion
• [Om-announce] ICLP'09 Call for Participation   Ricardo Rocha
• [Om-announce] Session on symbolic and numeric approaches to dynamic modeling and simulation at ACA 2009   Temur Kutsia
• [Om-announce] Announcement of SCSS 2009   Temur Kutsia
• [Om-announce] ESSLLI 2009 Bordeaux: Program and Call for Participation   Richard Moot

Last message date: Thu May 28 19:32:22 CEST 2009
Archived on: Fri May 29 11:05:56 CEST 2009

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