February 2010 Archives by date

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

Starting: Mon Feb 1 14:36:50 CET 2010
Ending: Fri Feb 26 23:25:44 CET 2010
Messages: 45

• [Om-announce] 2nd CfP: LOPSTR 2010   Temur Kutsia
• [Om-announce] FCS-PrivMod 2010   Veronique.Cortier at loria.fr
• [Om-announce] ICALP 2010: Submission Deadline: Feb 10, 2010   Nicolas Bonichon
• [Om-announce] CfP: ANB 2010   Nikolaj Popov
• [Om-announce] [STACS] Second Call for Participation   Jean-Yves Marion
• [Om-announce] [simu-conf] CfP: Workshop on Collaborative Modeling and Simulation (CoMetS)   vsim-conf at sce.carleton.ca
• [Om-announce] Call For Papers: WORLDCOMP 2010, USA, paper submission deadline: March 1, 2010   WORLDCOMP'10 Congress Conferences
• [Om-announce] Draft paper submission deadline is extended: MULTICONF-10   James Heralds
• [Om-announce] CFP: Workshop on Intelligent Sensor and Wireless Networks (Extended Deadline: Mar. 15, 2010)   xjin
• [Om-announce] [Call for papers] Workshop on Constraint Based Methods for Bioinformatics   Alessandro Dal Palu'
• [Om-announce] ASPOCP 2010 Call For Papers   aspocp10 at gmail.com
• [Om-announce] DisCoTec 2010: Deadlines Extension   Gianluigi Zavattaro
• [Om-announce] AISC'10: 2nd Call for Papers   Serge Autexier
• [Om-announce] Fifth Training School in Symbolic Computation   Temur Kutsia
• [Om-announce] Transnational Access Programme at RISC-Linz   Temur Kutsia
• [Om-announce] Draft paper submission deadline is extended: TMFCS-10, Orlando, USA   James Heralds
• [Om-announce] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2   Azadeh Farzan
• [Om-announce] 1st CFP WWV 2010   Mircea Marin
• [Om-announce] NASSLLI 2010: CALL FOR PARTICIPATION   Joey Frazee
• [Om-announce] ICLP-10 Doctoral Consortium Call For Papers   iclp10dc at gmail.com
• [Om-announce] [CFP] Hardware Verification Workshop + Model Checking Competition (HWVW'10)   Armin Biere
• [Om-announce] FMICS 2010: Preliminary Call for Paper   Marco Roveri
• [Om-announce] CFP: Workshop on Intelligent Sensor and Wireless Networks (Ext. Deadline: Mar. 15, 2010)   X.Jin
• [Om-announce] [se-seafood] Seafood 2010: keynote speakers   Nadia Polikarpova
• [Om-announce] Mathematical E-Learning - CFC new IGI Book   Maria Antonia Huertas Sanchez
• [Om-announce] Mathematical E-Learning - CFC new IGI Book   Maria Antonia Huertas Sanchez
• [Om-announce] [simu-conf] 2010 Summer Computer Simulation Conference - Deadline approaching   vsim-conf at sce.carleton.ca
• [Om-announce] CFP: International Workshop on Hybrid Logic and Applications (HyLo 2010)   Torben Brauner
• [Om-announce] 2nd CFP - Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010   Laura Kovacs
• [Om-announce] Call For Papers: Paper Submission Deadline: March 1, 2010, WORLDCOMP Congress, Computer Science, Computer Engineering and Applied Computing, USA   WORLDCOMP'10 Congress Conferences
• [Om-announce] WoLLIC 2010 - CFP - DEADLINE APPROACHING (Feb 28th)   Ruy de Queiroz
• [Om-announce] AISC'10 - CfP - Approaching Deadline (26 February) & Invited Speakers   Serge Autexier
• [Om-announce] Call for Participation -- SICSA Summer School on Formal Reasoning & Representation of Complex Systems   Gudmund Grov
• [Om-announce] STACS : Last call for participation   Jean-Yves Marion
• [Om-announce] HLDVT 2010 Final Call for Papers   Shireesh Verma
• [Om-announce] Call for papers: MULTICONF-10, Orlando, USA, July 2010   James Heralds
• [Om-announce] Workshop on Intelligent Sensor and Wireless Networks (Ext. Deadline: Mar. 15, 2010)   X.Jin
• [Om-announce] Call for Papers - AMAST 2010   amast-10 at kestrel.edu
• [Om-announce] AISC'10: Deadline Extension to March 12, 2010 (Abstracts: March 9, 2010)   Serge Autexier
• [Om-announce] Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)   Till Mossakowski
• [Om-announce] Call For Papers: WORLDCOMP Congress, Computer Science, Computer Engineering and Applied Computing, USA, paper submission deadline: March 1, 2010   WORLDCOMP'10 Congress Conferences
• [Om-announce] (PN) CFP: NASSLLI 2010 Student Session   Joey Frazee
• [Om-announce] MetiTarski 1.3 available   Lawrence Paulson
• [Om-announce] ICALP 2010 Second Call for Workshop Proposals   Ralf Klasing
• [Om-announce] PhD position in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani

Last message date: Fri Feb 26 23:25:44 CET 2010
Archived on: Thu Mar 11 12:52:59 CET 2010

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