FESCA @ ETAPS 2014 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France WORKSHOP AIM

CSER is the leading conference and platform for systems engineering that both pushes the boundaries of current research and identifies and responds to new challenges, fostering new research ideas.

   MECO-2014 Conference VENUE: Hotel Slovenska Plaza, Budva, Montenegro. DATES: 15-19, June 2014 ABOUT THE EVENT The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.

9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems The increasing complexity, distribution, and dynamism of many software-intensive systems, such as cloud-based, cyber-physical and mobile systems, are imposing self-managing capabilities as a key requirement. These systems must be able to adapt themselves at run-time to cope with the uncertainty associated with changes in the environment in which they operate, variability of resources, new user needs, intrusions, and faults.

  This is the 17th IEEE Computer Society symposium dealing with the rapidly expanding field of object/component/service-oriented real-time distributed computing (ORC) technology. The principal theme of ISORC is the use of the object, component, and service-oriented computing paradigms - which has prevailed in many non-real-time applications in the past decade - in a wide variety of real-time applications.

Design Methods for Automotive Systems and Software The automotive track has been created this year to bring together researchers and practitioners from the automotive domain with their counterparts from the embedded systems & software (ESS) domains.  This also includes those from the electronic design automation (EDA) space.

  DUHDe – 1st Workshop on  Design Automation for Understanding Hardware Designs March 28, 2014 – Friday Workshop at DATE 2014, Dresden, Germany

7th International Conference on Graph Transformation Dynamic structures are a major cause for complexity when it comes to model and reason about systems.

"Big Data meets Computational Science" The International Conference on Computational Science is an annual conference that brings together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering computational methods in sciences such as physics, chemistry, life sciences, and

ALCHEMY Workshop Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems