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.

11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications OSPERT is a forum for researchers and engineers working on (and with) Real-Time Operating Systems (RTOSs) to present recent advances in RTOS technology, to promote new and existing initiatives and projects, and to identify and discuss the challenges that lie ahead. The workshop, now in its eleventh year, provides the RTOS community with an opportunity to meet, to exchange ideas, to network, and to discuss future directions.

The 10th International Conference on Future Networks and Communications held in conjunction with The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

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.

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.