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

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

Fourth Symposium on Foundations of Health Information Engineering and Systems (FHIES) & Sixth Software Engineering in Healthcare (SEHC) Workshop ===========================================================================================

The conference has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events.