August 2009 Archives by thread

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

Starting: Mon Aug 10 17:00:52 CEST 2009
Ending: Mon Aug 31 14:04:05 CEST 2009
Messages: 14

• [Om-announce] CFP, HSCC10 -- International Conference on Hybrid Systems: Computation and Control, Apr 12-16, 2010, Stockholm   Wang Yi
• [Om-announce] 2nd CFP - Special Issue of the JSC on Invariant Generation   Laura Kovacs
• [Om-announce] AUTO: David Starbuck/PUBS/STAFF/US/IEEE is out of the office. (returning Mon 07/06/2009)   d.starbuck at ieee.org
• [Om-announce] MetiTarski theorem prover (Version 1.2)   Lawrence Paulson
• [Om-announce] Last CFP: Methods for Modalities 6 (M4M-6)   Thomas Bolander
• [Om-announce] CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28   Manuel Hermenegildo
• [Om-announce] [ISSAC-ANNOUNCE] Call for Papers: JSC-ISSAC 2009   William Turner
• [Om-announce] M4M-6: Deadline extended till September 1   Thomas Bolander
• [Om-announce] Last Cfp: Software Verification and Testing at ACM SAC 2010   Jan Cederquist
• [Om-announce] PADL 10: Third Call for Papers   Manuel Carro
• [Om-announce] RR 2009 Call for particiation   Terrance Swift
• [Om-announce] Second Announcement of ASCM-MACIS 2009   YANAMI Hitoshi
• [Om-announce] 3rd CFP - Deadline Extension: Special Issue of the JSC on Invariant Generation   Laura Kovacs
• [Om-announce] PADL'10: deadline extension (1 more week)   Manuel Carro

Last message date: Mon Aug 31 14:04:05 CEST 2009
Archived on: Thu Sep 3 10:57:31 CEST 2009

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