4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro

The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

Thirteenth International Workshop on Quantitative Aspects of Programming Languages and Systems 
at ETAPS 2015

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus. 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 8th  International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA Web Page: http://nsv2015.informatik.uni-freiburg.de/ Scope

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.

The 12th IEEE International Conference on Embedded Software and Systems Co-located with HPCC 2015 and CSS 2015 *IMPORTANT DATES*

12th International Conference on Autonomic Computing (ICAC 2015) In cooperation with USENIX and SPEC Corporate supporters: Google, HP Labs, Orange Labs IMPORTANT DATES Abstract Submission:     January 15, 2015 Paper Submission:        January 22, 2015 Author Notification:     April 10, 2015 Final Manuscript:        May 1, 2015 SCOPE AND TOPICS

The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015) Scope and Topics of Interest ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to: