25th IEEE International Conference on Application-specific Systems, Architectures and Processors The 25th IEEE International Conference on Application-specific Systems, Architectures and Processors 2014 takes place June 18-20, 2014 in Zurich, Switzerland. It will be organized by IBM Research - Zurich and the Swiss Federal Institute of Technology Zurich (ETH)

1st Formal Methods for Timing Verification Workshop In conjunction with the 19th International Symposium on Formal Methods (FM 2014)

10th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2014) June 08--09, 2014 -- Reno, Nevada, USA

COMPSAC 2014 Theme

IEEE PerCom, now in its twelfth edition, is established as the premier annual scholarly venue in the areas of pervasive computing and communications.

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), a European COST-Action on Timing Analysis on Code-Level. GOALS AND TOPICS

============================================== SIGBED Paul Caspi Memorial Dissertation Award http://sigbed.blogspot.fr/p/awards.html The nomination should be sent by email to paul-caspi-award@googlegroups.com by March 1, 2014. ==============================================

Distributed sensor systems have become a highly active research area due to their potential for providing diverse new capabilities applications.

MODELS 2014 ACM/IEEE 17th International Conference on Model-Driven Engineering Language & Systems

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 19-21 October, 2014