September 2013 Archives by subject

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

Starting: Tue Sep 3 02:26:39 CEST 2013
Ending: Mon Sep 30 16:48:49 CEST 2013
Messages: 33

• [Om-announce] [fm-announcements] CFP: Formal Verification & Modeling in Human-Machine Systems   Rungta, Neha S. (ARC-TI)[Stinger Ghaffarian Technologies Inc. (SGT Inc.)]
• [Om-announce] [fm-announcements] Formal Methods Position at NASA   MUNOZ, CESAR (LARC-D320)
• [Om-announce] [fm-announcements] Second Call for Papers: NFM 2014   Kristin Yvonne Rozier
• [Om-announce] [fm-announcements] TACAS 2014 3rd call for papers   Klaus Havelund
• [Om-announce] [ISSAC-ANNOUNCE] ISSAC 2014, Kobe University, Japan, July 23-25, 2014, FIRST CALL FOR PAPERS   Ilias Kotsireas
• [Om-announce] [simu-conf] Abstract Submission Deadline Approaching - TMS 2014   vsim-conf at sce.carleton.ca
• [Om-announce] [simu-conf] CfP: 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014)   vsim-conf at sce.carleton.ca
• [Om-announce] AlCoB 2014: 1st call for papers   GRLMC
• [Om-announce] AVICPS 2013: Call for Papers. Submission deadline Sep 23, 2013   CAV 2012 CFP
• [Om-announce] Call for FLoc14/ICLP Workshop proposals   Haifeng Guo
• [Om-announce] Call for papers - CFV'13   Miroslav Velev
• [Om-announce] Call for Papers: FESCA 2014   Nadia Polikarpova
• [Om-announce] Call for participation - Workshop on Privacy in the Electronic Society (WPES 2013)   WPES 2013
• [Om-announce] CMCS 2014: First call for papers   Alexandra Silva
• [Om-announce] CRiSIS 2013 - CALL FOR PARTICIPATION   Dr. Mauro Conti
• [Om-announce] Deadline approaching - 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013)   ATC 2013
• [Om-announce] Deadline extended - 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013)   ATC 2013
• [Om-announce] Deadline extended --- ICST'14   Miroslav Velev
• [Om-announce] Deadline in a few days - 10th IEEE International Conference on Autonomic and Trusted Computing (ATC 2013)   ATC 2013
• [Om-announce] faculty position opening in "Big Data" at Wright State University   Pascal Hitzler
• [Om-announce] Final Call for Workshop Proposals   Georg Moser
• [Om-announce] FMCAD 2013 Call for Participation   Chao Yan
• [Om-announce] FMCAD 2013 Call for Participation   Chao Yan
• [Om-announce] ICC 2014 Security Symposium Deadline extended to September 30 (firm)   Shui Yu
• [Om-announce] LATA 2014: 3rd call for papers   GRLMC
• [Om-announce] MACIS 2013: 2nd Call for Papers   Chenqi Mou
• [Om-announce] MSN 2013, Dalian, China, Deadline approaching   Shui Yu
• [Om-announce] Oberwolfach Seminar on Mathematics for Scientific Programming   Jeremy.Gibbons at cs.ox.ac.uk
• [Om-announce] PhD Positions at ETH Zurich   Mueller Peter
• [Om-announce] Special issue on Networking for Big Data of IEEE Network (Impact factor 2.853)   Shui Yu
• [Om-announce] The Last Opportunity for IEEE ICC'14, Sydney, Australia, Due on Sptember 30.   Shui Yu
• [Om-announce] TPNC 2013: call for posters   GRLMC
• [Om-announce] VMCAI 2014 DEADLINE EXTENSION   Xavier Rival

Last message date: Mon Sep 30 16:48:49 CEST 2013
Archived on: Mon Oct 7 11:24:44 CEST 2013

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