The 2014 International Conference on Systems and Informatics (ICSAI 2014) 15-17 November 2014 in Shanghai, China.

Welcome to the 2nd annual workshop on parallelism in mobile platforms (PRISM-2)!   Mobile platforms are an increasingly important computing environment for many people and businesses. It is both historic and symbolic that PCs were outsold by smartphones in 2011. Rapid advances in wireless network technology like 4G LTE and multicore based mobile architectures continue to fuel the development of exciting new applications on mobile platforms, which, in turn, attract elevated attention to the mobile platforms.

Transformation Tool Contest 2014 The aim of this event is to compare the expressiveness, the usability and the performance of graph and model transformation tools along a number of selected case studies. A deeper understanding of the relative merits of different tool features will help to further improve graph and model transformation tools and to indicate open problems.

40th Annual Conference of the IEEE Industrial Electronics Society (IECON)  Submit your paper NOW for IECON'2014

7th  International Workshop on Numerical Software Verification July 17-18, 2014 A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014 Novelty of this edition

The Third IEEE International Workshop on Exploitation of Hardware Accelerators held in conjunction with IEEE HPCS 2014

The 35th IEEE Real-Time Systems Symposium, Sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, down to microarchitectures, digital circuits and VLSI techniques. It is a discussion forum for researchers and engineers from academia and industry working on state-of-the-art investigations, development and applications.

2nd Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2014), In conjunction with the

8th International Workshop on  Systems Software Verification co-located with CAV and ITP, as part of the Vienna Summer of Logic 2014.