International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)

2nd Workshop on Formal-IDE A satellite workshop of FM2015 General theme: “Formal Integrated Development Environment (F-IDE) for joint construction of an application and its correctness proof upon its formalized specification”. Aims

3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background

INDIN 2015 IEEE International Conference on Industrial Informatics 22-24 July 2015, Cambridge, UK Sponsored by: IEEE Industrial Electronics Society and Anglia Ruskin University, Cambridge, UK Technical co-sponsor: Institution of Engineering and Technology, UK The INDIN Conference is co-organised by Anglia Ruskin University and EEE Industrial Electronics Society and technically co-sponsored by the Institute of Engineering and Technology.

The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas.

The 15th International Workshop on Worst-Case Execution time Analysis (WCET 2015) is a satellite workshop of the 27th Euromicro Conference on Real-Time Systems (ECRTS 2015) , the premier European venue for presenting research into the broad area of real-time and embedded systems.

The Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2015) will take place in Fortaleza, Brazil from Wednesday, June 10 to Friday, June 12 2015. The conference is technically sponsored by IEEE Computer Society and is intended to cover several aspects of distributed computing in sensor systems such as high level abstractions and models, systematic design methodologies, signal and information processing, algorithms, analysis and applications.

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.