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*

5th Real-Time Scheduling Open Problems Seminar Madrid, Spain - July 8, 2014

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

SAMOS is a unique conference. It deals with embedded systems (sort of)   but that is not what makes it different.

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

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

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

5th IEEE International Workshop on Component-Based Design of

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

COMPSAC 2014 Theme