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…

10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen Conference web site:    www.sies2015.com Submission system:      https://easychair.org/conferences/?conf=sies2015 The aim of the…

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…

Third ACM International Workshop on Manycore Embedded Systems in conjunction with the 42nd International Symposium on Computer Architecture (ISCA 2015)   Many-core embedded systems (MES) are moving towards the integration of hundreds of cores on a…

42nd International Symposium on Computer Architecture (ACM/IEEE ISCA 2015) The 42nd International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture. This year ISCA will be held…

4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro The 4th Mediterranean Conference on Embedded Computing (MECO 2015) is a continuation of very successful MECO events. It is an International Scientific…

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.…

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway The aim of the FMICS workshop series is to…

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…

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…

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 High levels of safety…

20th International Symposium on Formal Methods SCOPE AND TOPICS FM 2015 will have the goal of highlighting the development and application of formal methods. This includes uses of formal methods in a variety of disciplines such as medicine,…

First International Workshop on Model-Based Design for Cyber-Physical Systems (MB4CP 2015) In Conjunction with the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) WORKSHOP AIM Emerging cyber-physical systems (CPSs) incorporate…

45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in…

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE) Critical systems are becoming more and more complex and heterogeneous, integrating previously separated systems and including design solutions ranging…