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.

4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro

The First International Workshop on Security Aspects of Cyber-Physical Systems will be held in London, United Kingdom, June 2-5, 2015 SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber-Physical systems (CPS). The workshop will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).

10th Workshop on Model-Based Testing  will be held April 18, 2015, London, UK Satellite workshop of ETAPS 2015 MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academicians and MBT practitioners to share the vision of the challenges that MBT faces, new directions in model-based verification and testing, and the ways to integrate MBT and advanced verification techniques in engineering and industrial practice.