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.

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

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.

7th Working Conference on Verified Software: Theories, Tools, and Experiments The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013) and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.

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.

25th International Symposium on Logic-Based Program Synthesis and Transformation Co-located with PPDP 2015 Conference Description

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

INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and Technology, UK The INDIN Conference is co-organised by Anglia Ruskin University and EEE Industrial Electronics Society and technically co-sponsored by the Institute of Engineering and Technology.