October 2012 Archives by author

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

Starting: Tue Oct 2 09:21:19 CEST 2012
Ending: Tue Oct 30 09:51:09 CET 2012
Messages: 27

• [Om-announce] 2nd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK   TASE 2013
• [Om-announce] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [Om-announce] TAP 2013: 1st Call for Papers   Achim D. Brucker
• [Om-announce] CfP - IEEE Symposium on Network Cloud Computing and Applications (NCCA12)   IEEE NCCA 2012 Europe Publicity Chair
• [Om-announce] CAV 2013 - call for papers   Hana Chockler
• [Om-announce] FSNC 2012: 3rd announcement   GRLMC
• [Om-announce] LATA 2013: 3rd call for papers   GRLMC
• [Om-announce] WSLST 2013: 1st announcement   GRLMC
• [Om-announce] SCP Special Issue on Invariant Generation - Call for Papers   Gudmund Grov
• [Om-announce] Call for workshop proposals at CAV13   Igor Konnov
• [Om-announce] OpenMath 2012 workshop proceedings online at CEUR-WS   Christoph LANGE
• [Om-announce] SR 2013 - Preliminary call for contributions   Nello Murano
• [Om-announce] ICECCS 2013 in Singapore -- 1st Call for Papers   Jun PANG
• [Om-announce] ESSS workshop 2013 -- 1st Call for Papers   Jun PANG
• [Om-announce] NFM-2013 Call for Papers   Kristin Yvonne Rozier
• [Om-announce] [fm-announcements] NASA Formal Methods - NFM 2013, Call for Papers   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection   Tayssir Touili
• [Om-announce] TAP 2013: 1st Call for Papers (with correction)   Margus Veanes
• [Om-announce] CFP: The 7th International Conference on Network and System Security (NSS 2013), Madrid, Spain, June 3-4, 2013   Yu Wang
• [Om-announce] SCP Special Issue on Invariant Generation - Call for Papers   Thomas Wies
• [Om-announce] FSEN 2013: Final Call for Papers (Extended Deadlines)   fsen13 at conference.org
• [Om-announce] Second Call for Papers: FSEN 2013   fsen2013 at publicizing.org
• [Om-announce] TAP 2013: 1st Call for Papers   avantssar at resin.csoft.net
• [Om-announce] TAP 2013: 1st Call for Papers   avantssar at resin.csoft.net
• [Om-announce] [simu-conf] Symp. on Theory of Modeling and Simulation 2013 - Preliminary CFP   vsim-conf at sce.carleton.ca
• [Om-announce] Deadline Approaching: Annals of Telecommunications, Special Issue on Privacy-aware electronic society   sara.foresti at unimi.it
• [Om-announce] AnTe, Special Issue on Privacy-aware electronic society - Deadline Extended: November 8th, 2012   sara.foresti at unimi.it

Last message date: Tue Oct 30 09:51:09 CET 2012
Archived on: Tue Oct 30 11:06:59 CET 2012

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