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

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

International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems The goal of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.

Sixth International Workshop on Graph Computation Models Co-located with ICGT 2015 Part of STAF 2015 Background and Aims

Third ACM International Workshop on Manycore Embedded Systems in conjunction with the 42nd International Symposium on Computer Architecture (ISCA 2015)  

Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity.

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

3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background