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.

10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks IST-AWSN'15 will be held in conjunction with the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) in London, United Kingdom, June 2-5, 2015.

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.

11th International IEEE/IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems April 14, 2015 (tbc)  |  Auckland, New Zealand

The IEEE(*) International Conference on Autonomous Robot Systems and Competitions gathers participants from academia and industry working in the field of autonomous robotics and related areas. It is organized within the 15th Portuguese Robotics Open, a RoboCup-sponsored local event. The conference will be held at the University of Tras-os-Montes e Alto-Douro (UTAD) in Vila Real, Portugal, on April 8-10, 2015.

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

The Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY Workshop 2015) will be held in conjunction with the International Conference on Computational Science (ICCS 2015)

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.