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.

Second International Workshop on Robotic Sensor Networks part of CPSWEEK Recent developments in sensing and actuation technology, along with the miniaturization of computing and communication, have led to the development of commodity robot technology such as hobby drones and robot toolkits. These platforms are bringing sensing and actuation at places where traditional technology does not reach; for example, for aerial pollution monitoring or for disaster management in remote areas.

The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.

The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 – 30, 2015 in Vancouver, Canada

The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.

The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg The aim of this conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.

3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th)

The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University.