January 2010 Archives by thread

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

Starting: Mon Jan 4 17:15:15 CET 2010
Ending: Sun Jan 31 09:39:28 CET 2010
Messages: 35

• [Om-announce] SADFE 2010 CFP (2 Week Notice)   Rob Erbacher
  • [Om-announce] CSL 2010: First Call for Papers   Helmut Veith
• [Om-announce] CSL 2010 - 1st Call for Papers   Geoff Sutcliffe
• [Om-announce] CSL 2010 - 1st Call for Papers   Geoff Sutcliffe
• [Om-announce] CAV 2010 Last Call for Papers   Tayssir Touili
• [Om-announce] CALL FOR PAPERS - 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)   jun sun
• [Om-announce] CFP - SSIRI 2010: Submission Deadline has been Extended from January 8 to January 22, 2010   jun sun
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2010 Reminder and News   Peter Horn
  • [Om-announce] AISC'10: First Call for Papers   Serge Autexier
• [Om-announce] LPAR-16 deadline extended   Geoff Sutcliffe
• [Om-announce] LPAR-16 deadline extended   Geoff Sutcliffe
• [Om-announce] CiE 2010 - Final Call for Papers   S B Cooper
• [Om-announce] CFP - ICLP 2010 - DEADLINE: Jan 26   iclp2010-announce at clip.dia.fi.upm.es
• [Om-announce] MKM 2010: First Call for Papers   Alan P. Sexton
  • [Om-announce] IJCAR 2010 - Call for papers   Viorica Sofronie-Stokkermans
• [Om-announce] WoLLIC 2010 - Call for Papers   Ruy de Queiroz
• [Om-announce] Call For Papers: WORLDCOMP 2010, July 2010, USA, paper submission deadline: March 1, 2010   WORLDCOMP'10 Congress Conferences
• [Om-announce] ICALP 2010 - Submission site is open   Nicolas Bonichon
• [Om-announce] ITP-10: Call for Rough Diamonds   Matt Kaufmann
  • [Om-announce] Verify 2010 - 1st Call for Papers   verify2010 at mais.informatik.tu-darmstadt.de
• [Om-announce] Extended Submission Deadline: SADFE 2010   Rob Erbacher
• [Om-announce] HLDVT 2010: Call for Papers   Shireesh Verma
  • [Om-announce] (PN) [STACS] First Call for Participation   Jean-Yves Marion
  • [Om-announce] CfP: PPDP 2010   Temur Kutsia
    • [Om-announce] RV 2010 - 1st Int. Conference: Call for Papers and Tutorials   RV 2010
• [Om-announce] DisCoTec 2010: 2nd Call for Papers   Gianluigi Zavattaro
• [Om-announce] FMCAD'10 First Call For Papers   natasha.sharygina at usi.ch
• [Om-announce] 1st CFP - Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] [simu-conf] 2010 Summer Computer Simulation Conference - Call for Papers   vsim-conf at sce.carleton.ca
• [Om-announce] FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7   iclp2010-announce at clip.dia.fi.upm.es
• [Om-announce] [fm-announcements] 2nd Call for Papers IWS2010   Munoz, Cesar Augusto (LARC-D320)
• [Om-announce] SSIRI 2010: Student Doctoral Program   jun sun
  • [Om-announce] Announce of Intergeo Ontology, Platform, and Metadata   Paul Libbrecht
• [Om-announce] 22nd Jacob T. Schwartz International School for Scientific Research -- CALL FOR PARTICIPATION   Alfredo Ferro
• [Om-announce] LATA 2010: early registration deadline   carlos.martin at urv.cat

Last message date: Sun Jan 31 09:39:28 CET 2010
Archived on: Sun Jan 31 20:12:23 CET 2010

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