Introduction ============ Formal methods for software developent are still not widely used in industry. This may be due to the fact that the formal methods community has not enough focused its attention to software engineering needs, and its specific…

9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems The increasing complexity, distribution, and dynamism of many software-intensive systems, such as cloud-based, cyber-physical and mobile systems, are imposing self…

1st International Workshop about Sets and Tools (SETS 2014) AIM

9th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2014)  will be held in Kyoto, Japan, June 4-6, 2014, and hosted by National Institute of Information and Communications Technology (NICT), Kyushu University, and…

1st International Workshop on Meta Models for Process Languages (MeMo) 2014 affiliated to DisCoTec (

 ICE 2014 7th Interaction and Concurrency Experience Satellite workshop of DisCoTec 2014  http://www.discotec.org

The National Science Foundation’s (NSF) Directorate for Computer and Information Science and Engineering (CISE) and Intel Labs recently announced a new partnership to support novel, transformative,…

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

SORT 2014 5th IEEE Workshop on Self-Organizing Real-Time Systems Reno, Nevada, USA, June 9th, 2014 (http://www.es.cs.uni-frankfurt.de/?id=sort2014)

"Big Data meets Computational Science" The International Conference on Computational Science is an annual conference that brings together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers…

ALCHEMY Workshop Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems

     17th International Workshop on Software and Compilers for Embedded Systems June 10-11, 2014

  This is the 17th IEEE Computer Society symposium dealing with the rapidly expanding field of object/component/service-oriented real-time distributed computing (ORC) technology. The principal theme of ISORC is the use of the object, component…

SmartAmercia Expo - June 11 at the Washington DC Convention Center.

TRUST: 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering   =================================================================

Welcome to the 2nd annual workshop on parallelism in mobile platforms (PRISM-2)!   Mobile platforms are an increasingly important computing environment for many people and businesses. It is both historic and symbolic that PCs were outsold by…