CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN EXTENDED DEADLINE Summer School MOVEP 2014 11th School on MOdelling and VErifying parallel Processes 7 -- 11 July 2014, Nantes, France http://movep14.irccyn.ec-nantes.fr/ enquiries / submissions:…

The 10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications Developers of embedded Real-Time Operating Systems (RTOS) are faced with many challenges arising from two opposite needs: the need for extreme resource…

The 14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014) will take place in conjunction with the Euromicro Conference on Real- Time Systems (ECRTS 2014) at Madrid, Spain. WCET 2014 is kindly supported by TACLe (www.tacle.eu…

26th EUROMICRO conference on Real-time Systems Organised by the Euromicro Technical Committee on Real-Time Systems *Tuesday  2014-07-08* Satellite Workshops: RTSOPS: 5th International Real-Time Scheduling Open Problems Seminar WCET:  14th…

5th Real-Time Scheduling Open Problems Seminar Madrid, Spain - July 8, 2014 (held in conjunction with ECRTS'14) THEME AND TOPICS OF INTEREST The 5th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2014) provides a venue for the…

Symposium On Usable Privacy and Security SOUPS brings together an interdisciplinary group of researchers and practitioners in human computer interaction, security, and privacy.  The program features technical papers, workshops and tutorials, a…

Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems Fiuggi, Italy Sunday July 13 - Saturday July 19, 2014 Organized by the HiPEAC Network of Excellence sponsored by the 7th…

SAMOS is a unique conference. It deals with embedded systems (sort of)   but that is not what makes it different. It brings together every year   researchers from both academia and industry on the quiet and inspiring   northern…

14th PET Symposium  addresses the design and realization of privacy services for the Internet and other data systems and communication networks by bringing together anonymity and privacy experts from around the world to discuss recent advances and…

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 2014 edition of NSV will be…

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

26th International Conference on Computer Aided Verification (CAV’14) Part of Vienna Summer of Logic (VSL'14) 18-22 July 2014, Vienna, Austria CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided…

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

The 2014 International Conference on High Performance Computing & Simulation Purpose: The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original…

COMPSAC 2014 Theme The theme of the 38th COMPSAC conference is The Integration of Heterogeneous and Mobile Services in Smart Environments. The emergence and increasing importance of digital society, cyber-physical systems, and semantic, pervasive, and…

International Workshop on High Performance Interconnection Networks (HPIN) in conjunction with the International Conference on HPCS 2014 General Scope Computational, storage, accelerators, and sensing resources are required to be interconnected in…