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.

Embedded Systems Week (ESWEEK) is the premier event covering all aspects of embedded systems and software. By bringing together three leading conferences (CASES, CODES+ISSS, and EMSOFT), two symposia (ESTIMedia and RSP) and several workshops and tutorials, ESWeek allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development. One registration, three conferences

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.

18th International Workshop on Software and Compilers for Embedded Systems June 1-3, 2015   A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will be organized in 2015. The workshop will feature a combination of research papers and research presentations (details see below). The papers and presentation abstracts will also be published in the ACM digital library. The workshop is held in cooperation with ACM SIGBED and EDAA.

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)