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

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)  

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

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

2nd Workshop on Formal-IDE A satellite workshop of FM2015 General theme: “Formal Integrated Development Environment (F-IDE) for joint construction of an application and its correctness proof upon its formalized specification”. Aims

2nd International Workshop about Sets and Tools (SETS 2015) Affiliated to FM 2015, Oslo - Norway The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as interactive or automated theorem provers, proof checkers, theories for general purpose proof tools, constraint solvers, programming languages etc. See the call for papers for more details regarding the scope of this workshop.

The 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) will take place 1-4 September 2015 in Edinburgh, UK. The workshop is organised by the Computer Science department within the School of Mathematical and Computer Sciences at Heriot-Watt University and will be held in the ICMS building found in the historic old town of the Edinburgh, and will be collocated with the 6th AI4FM workshop, which will be held on 1 September.

7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015) APRES 2015 is part of the CPSweek 2015, held in Seattle, April 13-17, 2015. Overview

2nd International Workshop on Safety and Formal Methods Overview The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.