The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg The aim of this conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.

4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus. The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

The 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope

Recent years have seen medical devices go from being monolithic to a collection of integrated systems. Modern medical device systems have thus become a distinct class of cyber-physical systems called Medical Cyber Physical Systems (MCPS), featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially thepatient whose safety is of the utmost concern. The goal of this project is to develop a new paradigm for the design and implementation of safe, secure, and reliable MCPS, which includes:

Abstract: We  developed  an  analytical  and  computational  framework  for  vulnerability analysis of dynamical power networks to link and node-based attacks.   For stochastic link failure attacks, we provided a systematic procedure for ranking links  (transmission  lines)  of  power  network  in  the  order  of  their  critical importance to maintain synchronization among network generators.