March 2011 Archives by date

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

Starting: Tue Mar 1 00:29:51 CET 2011
Ending: Wed Mar 30 20:50:11 CEST 2011
Messages: 39

• [Om-announce] CICM 2011 (includes MKM and Calculemus)   Professor James Davenport
• [Om-announce] CFP: European Symposium on Research in Computer Security (ESORICS 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] [Lpmas] RCRA11: Experimental evaluation of algorithms for solving problems with combinatorial explosion   Marco Gavanelli
• [Om-announce] [Lpmas] the deadlines of AI*IA 2011 have been EXTENDED   Fabrizio Riguzzi
• [Om-announce] LASER 2011: Tools for Practical Software Verification (Second call for participation)   Nadia Polikarpova
• [Om-announce] First CFP: DML 2011--Towards a Digital Mathematics Library, Bertinoro, July 20-21st   dml2011 at easychair.org
• [Om-announce] DIFTS'11: First Call For Papers   Malay Ganai
• [Om-announce] TIME 2011: Call for Workshop Proposals   Dirk Nowotka
• [Om-announce] WoLLIC 2011 Call for Short Presentations and Participation   Ruy de Queiroz
• [Om-announce] Call for Workshops - 5th International Conference on Network and System Security (NSS 2011)   Giovanni Livraga
• [Om-announce] Call for Paper: ICFEM 2011: 13th International Conference on Formal Engineering Methods   jun sun
• [Om-announce] CFP: 7th International Conference on Information Systems Security (ICISS 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] Privacy, Security, Trust (PST 2011) - 2nd Call for Papers (Deadline: March 20)   Serguei A. Mokhov on behalf of PST-11
• [Om-announce] [simu-conf] Journal of Defense Modeling and Simulation: Special Issues   vsim-conf at sce.carleton.ca
• [Om-announce] [ESORICS 2011] Deadline Approaching (March 21, 2011)   Claudio Agostino Ardagna (claudio.ardagna)
• [Om-announce] CFP: ACM TODAES Special Issue on Verification Challenges with Multicore Systems   Sandip Ray
• [Om-announce] [ICA3PP 2011] Call For Papers   Yu Wang
• [Om-announce] [ICA3PP 2011] Call For Workshops   Yu Wang
• [Om-announce] ECOWS'11 - 2nd Call for Papers   Gianluigi Zavattaro
• [Om-announce] [CAV 2011] Call for Workshop Submissions   Neha Rungta
• [Om-announce] ASPOCP 2011 Call For Papers   aspocp11 at easychair.org
• [Om-announce] Second CFP - Int. Workshop on Automated Specification and Verification of Web Systems   Laura Kovacs
• [Om-announce] CFP: ICTSS-11 in Paris   Burkhart Wolff
• [Om-announce] CFP: Exploiting Concurrency Efficiently and Correctly -- (EC)^2   Azadeh Farzan
• [Om-announce] FTP 2011 - First Call for Papers   martingi at ifi.uio.no
• [Om-announce] SSFLA 2011: last call   "Carlos Martín Vide"
• [Om-announce] PhD position in modeling timed distributed systems   Marjan Sirjani
• [Om-announce] CFP: AVoCS Special Issue in SCP   AVoCS
• [Om-announce] [fm-announcements] VVPS'11 CFP - deadline extension: March 25   Havelund, Klaus (318M)
• [Om-announce] Privacy, Security, Trust (PST 2011) - Call for Papers (EXTENDED Deadline: April 3, 2011)   Serguei A. Mokhov on behalf of PST-11
• [Om-announce] RDP 2011: Call for Participation   Masahiko Sakai (RTA publicity chair)
• [Om-announce] [FLACOS 2011] CFP: Workshop on Formal Languages and Analysis of Contract-Oriented Software (Málaga, Spain)   info.flacos2011 at lcc.uma.es
• [Om-announce] [simu-conf] New book on Modeling and Simulation   vsim-conf at sce.carleton.ca
• [Om-announce] SPIN 2011 Call For Papers   Madan Musuvathi
• [Om-announce] 2nd CfP: THedu'11 at CADE   Walther Neuper
• [Om-announce] CFP: The 8th International Workshop on Formal Aspects of Security & Trust (FAST2011)   Anupam Datta
• [Om-announce] Fifth ACM/IEEE ICDSC: SPECIAL SESSION ON, EMBEDDED PROCESSING AND SMART CAMERA   Francois BERRY
• [Om-announce] Last CFP with Deadline Extension - Int. Workshop on Automated Specification and Verification of Web Systems   Laura Kovacs
• [Om-announce] CFP: SBMF 2011 - 14th Brazilian Symposium on Formal Methods   SMBF 2011

Last message date: Wed Mar 30 20:50:11 CEST 2011
Archived on: Thu Mar 31 11:18:35 CEST 2011

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