October 2006 Archives by subject

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

Starting: Fri Oct 6 21:15:55 CEST 2006
Ending: Tue Oct 31 18:26:33 CET 2006
Messages: 10

• [Om-announce] 2nd CFP: JSAT S.I. on Satisfiability Modulo Theories   Roberto Sebastiani
• [Om-announce] 3rd CfP: Algebraic Biology 2007   Temur Kutsia
• [Om-announce] CAV 2007: Call for Papers   CAV 2007 Announcements
• [Om-announce] FMCAD 2006 Early Registration Approaching   Panagiotis Manolios
• [Om-announce] FMCAD 2006 Workshop on Pre- and Post-Silicon Verification Call For Participation   Panagiotis Manolios
• [Om-announce] Mathematics in Computer Science - A new Birkhauser/Springer journal   mcs-list at cc4cm.org
• [Om-announce] MEGA 2007   MEGA 2007
• [Om-announce] Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'   Luca Vigano
• [Om-announce] Subject: LPAR 2006 (Phnom Penh, Cambodia), 2nd Call for Participation   Miki Hermann
• [Om-announce] Three-years Ph.D. Research Fellowship position available - SAP Labs France   COMPAGNA, Luca

Last message date: Tue Oct 31 18:26:33 CET 2006
Archived on: Wed Nov 1 08:47:51 CET 2006

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