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 Sets and constructs built upon them like relations, functions, sequences are the main modeling ingredients of formalisms such as VDM, Z, B, or Event-B. Sets also occur in the formalization…

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…

 ICE 2014 7th Interaction and Concurrency Experience Satellite workshop of DisCoTec 2014  http://www.discotec.org === Highlights === - Innovative selection procedure - ICE welcomes submissions of full papers, short papers,…

1st International Workshop on Meta Models for Process Languages (MeMo) 2014 affiliated to DisCoTec (http://www.discotec.org) June 6th, 2014, Berlin, Germany http://www.itu.dk/research/models/wiki/index.php/MeMo2014 == Aim and Topics: == The…

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 facebook: https://www.facebook.com/seus2014/ IEEE Workshop on Software Technologies for Future Embedded and…

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) Self-Organization is a key technique to handle the growing complexity of upcoming computing systems.…

ALCHEMY Workshop Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems Held in conjunction with the International Conference on Computational Science (ICCS 2014) Cairns, Australia June 10-12, 2014 http://sites.…

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

     17th International Workshop on Software and Compilers for Embedded Systems June 10-11, 2014 Schloss Rheinfels, St. Goar, Germany A next edition of the workshop on Software and Compilers for Embedded Systems (SCOPES) will…

  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. Imagine vehicles that can make their own way through a battlefield to pick up the wounded, health information that follows patients from home to hospital to doctor's office, and disaster…

TRUST: 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering   =================================================================   It becomes excessively challenging or…

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…