28th IEEE International Parallel & Distributed Processing Symposium   IPDPS is an international forum for engineers and scientists from around the world to present their latest research findings in all aspects of parallel computation. In addition to technical sessions of submitted paper presentations, the meeting offers workshops, tutorials, and commercial presentations & exhibits.

The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networked sensing and control, broadly defined. IPSN brings together researchers from academia, industry, and government to present and discuss recent advances in both theoretical and experimental research.

The 10th IEEE International Conference on Embedded Software and Systems (ICESS) 2013 Embedded software and systems are closely related to our daily life, which reside from smart appliances to unmanned trains. As the fastest growing industry, embedded systems will have great societal and environmental impacts. Therefore, the design and implementation of safe and efficient embedded software and systems have utmost importance.

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events. The seventeenth edition, ETAPS 2014, will take place in Grenoble, France. This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.

11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain        The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.

The 5th ACM/IEEE International Conference on Cyber-Physical Systems.

Conference on High Confidence Networked Systems (HiCoNS) at CPSWeek 2014 3rd ACM International Conference on High Confidence Networked Systems (HiCoNS) will be held April 15-17, 2014 in Berlin, Germany as part of Cyber Physical Systems Week 2014 (CPSWeek 2014).

CONCUR 2013 24th International Conference on Concurrency Theory August 27 - 30, 2013, Buenos Aires Argentina   The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.   INVITED SPEAKERS

10th International Conference on Quantitative Evaluation of SysTems                               QEST 2013                     http://www.qest.org/qest2013/

ERTS² 2014 Embedded Real Time System and Software Congress The ERTS2 Congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientific with representatives from universities, research centers and industries. The previous editions gathered more than 100 talks, 500 participants and 60 exhibitors. ERTS2 is: