January 2011 Archives by date

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

Starting: Sun Jan 2 12:39:57 CET 2011
Ending: Mon Jan 31 16:52:44 CET 2011
Messages: 41

• [Om-announce] LATA 2011: deadline extended   carlos.martin at urv.cat
• [Om-announce] One Postdoc Research Fellow Position on System Analysis and Model Checking   jun sun
• [Om-announce] Semantic Web Journal: Call for Special Issue Proposals   Pascal Hitzler
• [Om-announce] PADL'11 - Call for Participation   Ricardo Rocha
• [Om-announce] WoLLIC 2011 - Submission Deadline Extended   Ruy de Queiroz
• [Om-announce] [simu-conf] Call For Papers - Modeling and Simulation of Dynamic Structure Systems Track at the Summer Computer Simulation Conference [SCSC'11]   vsim-conf at sce.carleton.ca
• [Om-announce] Call for Participation: DAMP 2011   Conference Account
• [Om-announce] CSL 2011 Call for Papers and Workshops   Geoff Sutcliffe
• [Om-announce] LACL 2011 - Call for Paper   Sylvain Pogodalla
• [Om-announce] CFP: the 6th International Conference on Network and Information Systems Security (SAR-SSI 2011)   Fulvio Frati
• [Om-announce] CfP: ETFA2011 - Track 4. Automated Manufacturing Systems   Cristian Mahulea
• [Om-announce] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems   Havelund, Klaus (317J)
• [Om-announce] RTA 2011: extended deadline   Masahiko Sakai (RTA publicity chair)
• [Om-announce] CFP: 6th International Conference on Security and Cryptography (SECRYPT 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] STACS 2011: Registration is open (early bird discount until January 31)   Thomas Schwentick
• [Om-announce] CFP: European Symposium on Research in Computer Security (ESORICS 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] ITP 2011 (Call for Papers)   Julien Schmaltz
• [Om-announce] [simu-conf] CFP SCSC 2011: Track Computer Architecture Simulation   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] SpringSim 2011- Extended deadline   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] Call for Papers - Poster Sessions - SpringSim 2011   vsim-conf at sce.carleton.ca
• [Om-announce] PADL'11 - Call for Participation   Ricardo Rocha
• [Om-announce] [simu-conf] TMS/DEVS'11 - WORKSHOPS CFP   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] [PADS 2011] Call for Papers - Deadline extended : January 29th   vsim-conf at sce.carleton.ca
• [Om-announce] CfP: 34th IEEE Software Engineering Workshop (SEW-34)   Miroslav Velev
• [Om-announce] [simu-conf] COMETS 2011 - 2nd International Track on Collaborative Modeling and Simulation - Call for Papers   vsim-conf at sce.carleton.ca
• No subject  
• No subject  
• No subject  
• No subject  
• No subject  
• No subject  
• [Om-announce] MetiTarski 1.8 released!   Lawrence Paulson
• [Om-announce] 2nd CFP "Test and Proof", Zürich 2011   Burkhart Wolff
• [Om-announce] CADE-23: Final Call for Papers   Carsten Schuermann
• [Om-announce] 2nd Call for Papers for WRiSE'11 on April 10 in Salzburg   Armin Biere
• [Om-announce] Book Announcement: "Design and Safety Assessment of Critical Systems"   Marco Bozzano
• [Om-announce] Call For Papers: HLDVT 2011   Shireesh Verma
• [Om-announce] Deadline Approaching: 6th International Conference on Security and Cryptography (SECRYPT 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] Final Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)   DisCoTec2011 at publicizing.org
• [Om-announce] CICM 2011: 2nd Call for Papers, Systems & Projects Track   Professor James Davenport
• [Om-announce] Call for Papers: THedu'11 at CADE-23   Walther Neuper

Last message date: Mon Jan 31 16:52:44 CET 2011
Archived on: Wed Mar 14 10:52:57 CET 2012

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