July 2010 Archives by subject

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

Starting: Thu Jul 1 07:55:21 CEST 2010
Ending: Thu Jul 29 12:17:14 CEST 2010
Messages: 22

• [Om-announce] 2nd Cfp: Software Verification and Testing at ACM SAC 2011   Jan Cederquist
• [Om-announce] [fm-announcements] CFP: Third NASA Formal Methods Symposium (NFM 2011)   Havelund, Klaus (316D)
• [Om-announce] [ICISS 2010] Deadline extension to July 21, 2010   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] [simu-conf] Symposium of Theory of Modeling & Simulation 2011 (TMS/DEVS'11) - Preliminary CFP   vsim-conf at sce.carleton.ca
• [Om-announce] Call for open reviews: Semantic Web journal   Pascal Hitzler
• [Om-announce] CFP - First International Pervasive Model Checking Workshop (PMCW 2010 ) @ Singapore   jun sun
• [Om-announce] CICM registrations closing soon   Renaud.Rioboo at ensiie.fr
• [Om-announce] Deadline Approaching: 6th International Conference on Information Systems Security (ICISS 2010)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] ECSS 2010 - Call for participation   Cristina Pereira
• [Om-announce] ECSS 2010 - Last call for contributions   Cristina Pereira
• [Om-announce] Journal CfP: Semantic Web Tools and Systems - deadline extension   Pascal Hitzler
• [Om-announce] LPAR-17 call for short papers, workshop submissions   Geoff Sutcliffe
• [Om-announce] MathUI 2010: call for participation   Paul Libbrecht
• [Om-announce] MetiTarski 1.5 released!   Lawrence Paulson
• [Om-announce] PADL'11 - Call for Papers   Ricardo Rocha
• [Om-announce] PASCO 2010: Programming Challenge   Daniel de Angelis Cordeiro
• [Om-announce] PhD Position in Automated Reasoning Using Machine Learning (vacancy number 62.58.10)   Josef Urban
• [Om-announce] POPL 2011: Call for Papers   Tayssir Touili
• [Om-announce] STACS 2011: Second Call for Papers   Thomas Schwentick
• [Om-announce] VSTTE 2010: First Call for Participation   Gudmund Grov
• [Om-announce] VSTTE 2010: Second Call for Participation -- Early Registration ends in 2 weeks   Gudmund Grov
• [Om-announce] VSTTE 2010: Third Call for Participation -- Early Registration ends this week!   Gudmund Grov

Last message date: Thu Jul 29 12:17:14 CEST 2010
Archived on: Fri Jul 30 10:59:14 CEST 2010

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