October 2012 Archives by thread
Starting: Tue Oct 2 09:21:19 CEST 2012
Ending: Tue Oct 30 09:51:09 CET 2012
Messages: 27
- [Om-announce] Second Call for Papers: FSEN 2013
fsen2013 at publicizing.org
- [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] SR 2013 - Preliminary call for contributions
Nello Murano
- [Om-announce] FSNC 2012: 3rd announcement
GRLMC
- [Om-announce] Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
Tayssir Touili
- [Om-announce] Deadline Approaching: Annals of Telecommunications, Special Issue on Privacy-aware electronic society
sara.foresti at unimi.it
- [Om-announce] LATA 2013: 3rd call for papers
GRLMC
- [Om-announce] [simu-conf] Symp. on Theory of Modeling and Simulation 2013 - Preliminary CFP
vsim-conf at sce.carleton.ca
- [Om-announce] SCP Special Issue on Invariant Generation - Call for Papers
Gudmund Grov
- [Om-announce] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs
Achim D. Brucker
- [Om-announce] CFP: The 7th International Conference on Network and System Security (NSS 2013), Madrid, Spain, June 3-4, 2013
Yu Wang
- [Om-announce] OpenMath 2012 workshop proceedings online at CEUR-WS
Christoph LANGE
- [Om-announce] NFM-2013 Call for Papers
Kristin Yvonne Rozier
- [Om-announce] WSLST 2013: 1st announcement
GRLMC
- [Om-announce] CfP - IEEE Symposium on Network Cloud Computing and Applications (NCCA12)
IEEE NCCA 2012 Europe Publicity Chair
- [Om-announce] ICECCS 2013 in Singapore -- 1st Call for Papers
Jun PANG
- [Om-announce] FSEN 2013: Final Call for Papers (Extended Deadlines)
fsen13 at conference.org
- [Om-announce] CAV 2013 - call for papers
Hana Chockler
- [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] TAP 2013: 1st Call for Papers (with correction)
Margus Veanes
- [Om-announce] Call for workshop proposals at CAV13
Igor Konnov
- [Om-announce] 2nd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK
TASE 2013
- [Om-announce] SCP Special Issue on Invariant Generation - Call for Papers
Thomas Wies
- [Om-announce] ESSS workshop 2013 -- 1st Call for Papers
Jun PANG
- [Om-announce] TAP 2013: 1st Call for Papers
Achim D. Brucker
- [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
This archive was generated by
Pipermail 0.09 (Mailman edition).