13th IEEE/IFIP International Conferences on Embedded and Ubiquitous Computing (EUC’2015) Porto, Portugal on October 21-23, 2015. http://www.fe.up.pt/euc2015 Important Dates:

The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.

First International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015) In Conjunction with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) WORKSHOP AIM

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)

The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas.

2nd International Workshop on Safety and Formal Methods Overview The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.

The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.

The Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY Workshop 2015) will be held in conjunction with the International Conference on Computational Science (ICCS 2015)

The 13th ACM Conference on Embedded Networked  Sensor Systems Sensors have become an essential part of computing systems and applications. Computing  today is increasingly characterized  by ubiquitous, information-rich sensors that produce massive quantities of data about the physical world.   This new era of computing is driving important new systems issues, and requires new system-level approaches and design principles.

ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems Models 2015 is the premier conference on systems and software modeling. It will be held in Ottawa, Canada September 27 to October 2, 2015. The main conference will run from Wednesday Sept 30 to Friday Oct 2, with satellite events such as workshops and tutorials being held the previous three days. Preliminary Call for Contributions