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

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…

Third ACM International Workshop on Manycore Embedded Systems in conjunction with the 42nd International Symposium on Computer Architecture (ISCA 2015)  

4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro

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

20th International Symposium on Formal Methods SCOPE AND TOPICS

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

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…

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

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

The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting the very best research results, problem solutions and insights on new challenges in the field of dependable…

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…