10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) During the past decade, ReCoSoC has established itself as a reference international event for researchers in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages the technical and scientific interactions between senior academics and young researchers. ReCoSoC 2015 will take place from 29.6. to 1.7.2015 in Bremen, Germany.   

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 

Ptolemy Miniconference Eleventh Biennial Ptolemy Miniconference will be held on Friday October 16, 2015 at the Bancroft Hotel Great Hall near the University of California, Berkeley campus. The Ptolemy project (http://ptolemy.org) studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components.

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.

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

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

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

13th International Conference on Formal Modeling and Analysis of Timed Systems Objective