October 2009 Archives by date

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

Starting: Thu Oct 1 01:20:44 CEST 2009
Ending: Fri Oct 30 14:39:04 CET 2009
Messages: 13

• [Om-announce] RR 2009 Call for Partipation   Terrance Swift
• [Om-announce] FIRST PhD Autumn School on Modal Logic   Thomas Bolander
• [Om-announce] FMCAD'09 Call For Participation   Armin Biere
• [Om-announce] HSCC 2010 submission deadlines extended   Wang Yi
• [Om-announce] HLDVT 2009 Call for Participation: Early Registration Deadline   Shireesh Verma
• [Om-announce] CFP: Advances in Modal Logic 2010   Carlos Areces
• [Om-announce] Call for participation: Methods for Modalities 6   Thomas Bolander
• [Om-announce] ICALP 2010 Call for Workshop Proposals   Ralf Klasing
• [Om-announce] CAV 2010 Call for Papers   Tayssir Touili
• [Om-announce] FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE   MYV
• [Om-announce] 2nd CFP: JSC Special Issue on Automated Verification and Specification of Web Systems   Temur Kutsia
• [Om-announce] WoLLIC 2010 - 2nd Call for Papers   Ruy de Queiroz
• [Om-announce] SADFE 2010 CFP   Rob Erbacher

Last message date: Fri Oct 30 14:39:04 CET 2009
Archived on: Sat Oct 31 12:20:02 CET 2009

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