9th European Conference on Software Architecture SCOPE The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels.

1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS 2015) co-located with the 9th European Conference on Software Architecture (ECSA 2015)

2nd International Workshop on Cyber-Physical Systems (IWCPS’15) E-mail: iwcps2015@fedcsis.org We would like to cordially invite you to consider contributing a paper to IWCPS 2015 - held as a part of the Federated Conference on Computer Science and Information Systems (FedCSIS 2015).

The 56th Conference on Simulation and Modelling (SIMS 56) 7-9 October 2015 
“Modelling, Simulation and Optimization” In 2015, the 56th Conference on Simulation and Modelling will be held in Linköping, Sweden.

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:

Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015) in conjunction with the international conference on reliable software technologies -  Ada-Europe 2015 Madrid, Spain | June 23, 2015

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.

9th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2015) Important dates Paper submission: May 15, 2015 Decision notification: July 12, 2015 Camera-ready submission: July 23, 2015 Workshop: September 10-11, 2015 Aims and scope

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

5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) May 23-27, 2016 -- Linz, Austria http://www.cdcc.faw.jku.at/ABZ2016/