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.

International Workshop on Dynamic Resource Allocation and  Management in Embedded, High Performance and Cloud Computing DreamCloud is the first workshop aiming to encourage technical and scientific

The Third International Conference on Cyber Security, Cyber Warfare, and Digital Forensic (CyberSec2014) http://sdiwc.net/ The Society of Digital Information and Wireless Communications (SDIWC), would like to invite you to attend the following conferences that will be held at the Faculty of Engineering - Lebanese University, Campus of Hadath  

EMSICC 2014 - International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing In conjunction with FiCloud 2014, the 2nd IEEE International Conference on Future Internet of Things and Cloud

International Workshop on High Performance Interconnection Networks (HPIN) in conjunction with the International Conference on HPCS 2014