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

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

  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…

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

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

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

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)

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

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

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

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

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 about Sets and Tools (SETS 2014) AIM

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…

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…

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse