The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015) http://hpcs2015.cisedu.info  or  http://cisedu.us/rp/hpcs15  July 20 – July 24, 2015  |  The Hilton Amsterdam Hotel  |  Amsterdam, The Netherlands 

S-CUBE - 6th INTERNATIONAL CONFERENCE ON SENSOR SYSTEMS AND SOFTWARE The 6th EAI conference on Sensor Systems and Software is a single track forum for research on system development and software support for embedded sensing, broadly defined. This year the conference will be organized in conjunction with ‘IoT 360’ Summit and will be focused on the Internet of Things paradigm.

TENTH IEEE INTERNATIONAL WORKSHOP ON PRACTICAL ISSUES IN BUILDING SENSOR NETWORK APPLICATIONS (in conjunction with IEEE LCN 2015)  http://www.senseapp.org

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).

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.

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/