September 2009 Archives by subject

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

Starting: Tue Sep 1 12:39:14 CEST 2009
Ending: Wed Sep 30 20:40:13 CEST 2009
Messages: 17

• [Om-announce] [CiE] COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes - Ponta Delgada (Azores), Portugal, June 30 to July 5 2010   CiE
• [Om-announce] [fm-announcements] CFP: NASA Formal Methods Symposium 2010   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] [ion at ams.org: Last Call Draft of MathML3 .0]   David Carlisle
• [Om-announce] ARSPA-WITS'10: call for papers   Alessandro Armando
• [Om-announce] ASCM-MACIS 2009: Submission Deadline Extended to September 25, 2009   YANAMI Hitoshi
• [Om-announce] Call for Bids, ESSLLI 2011   Carlos Areces
• [Om-announce] CFP, HSCC10 -- International Conference on Hybrid Systems: Computation and Control, Apr 12-16, 2010, Stockholm   Wang Yi
• [Om-announce] CFP: ESSLLI 2010 - Deadline 7 September   Carlos Areces
• [Om-announce] Deadline extended: Software Verification and Testing at ACM SAC 2010   Jan Cederquist
• [Om-announce] Last Call for Participation: GAMES 2009   fsvweb at dimi.uniud.it
• [Om-announce] RR 2009 Call for Participation   Terrance Swift
• [Om-announce] SAC - Security Track: extended deadline 1 week (Sept 14th)   COMPAGNA, Luca
• [Om-announce] SAC - Security Track: extended deadline 1 week (Sept 15th)   COMPAGNA, Luca
• [Om-announce] STACS 2010 - Last call for papers   Jean-Yves Marion
• [Om-announce] Third Announcement of ASCM-MACIS 2009   YANAMI Hitoshi
• [Om-announce] update to OpenMath Content Dictionary site   David Carlisle
• [Om-announce] Verification and Debug at HLDVT   Shireesh Verma

Last message date: Wed Sep 30 20:40:13 CEST 2009
Archived on: Sun Oct 4 16:11:46 CEST 2009

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