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

13th International Symposium on Automated Technology for Verification and Analysis The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan – 2003–5, Beijing – 2006, Tokyo – 2007, Seoul – 2008, Macao – 2009, Singapore – 2010, Taiwan – 2011, Thiruvananthapuram – 2012, Hanoi – 2013, and Sydney – 2014.

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 2015 Co-summit will be held on 10 & 11 March in the bcc Berlin Congress Center in Berlin, Germany.

The event is jointly organised by ARTEMIS, represented by ARTEMIS Industry Association, the association for actors in Embedded & Cyber-Physical Systems within Europe, and by ITEA, the EUREKA Cluster on Software-intensive Systems & Services.

The 7th edition of the Co-summit will be dedicated to ‘Smart industry: impact of software innovation’.

The event will feature:

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

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.

Euromicro Conference on Digital System Design (DSD) and Euromicro Conference series on Software Engineering and Advanced Applications (SEAA)

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.