August 2010 Archives by date

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

Starting: Thu Aug 5 17:01:04 CEST 2010
Ending: Tue Aug 31 20:32:40 CEST 2010
Messages: 9

• [Om-announce] European Research & Education Data Collection   Cristina Pereira
• [Om-announce] Call for Participation: ATVA 2010, 21st - 24th Singapore   jun sun
• [Om-announce] Journal Special Call for Survey articles on Semantic Web topics   Pascal Hitzler
• [Om-announce] CFP: Third NASA Formal Methods Symposium (NFM 2011)   Kristin Yvonne Rozier
• [Om-announce] Last Cfp: Software Verification and Testing at ACM SAC 2011   Jan Cederquist
• [Om-announce] IWIL workshop at LPAR-17 in Indonesia - Extended deadline   Geoff Sutcliffe
• [Om-announce] Call for Participation: FMCAD 2010   natasha.sharygina at usi.ch
• [Om-announce] Software Verification and Testing at ACM SAC 2011: Deadline extended   Jan Cederquist
• [Om-announce] Call for Participation   RV 2010

Last message date: Tue Aug 31 20:32:40 CEST 2010
Archived on: Wed Sep 1 09:26:09 CEST 2010

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