The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 – 30, 2015 in Vancouver, Canada

The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.

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

The First International Workshop on Security Aspects of Cyber-Physical Systems will be held in London, United Kingdom, June 2-5, 2015 SACPS'15 is the The First International Workshop on Security Aspects of Cyber-Physical Systems. SACPS'15 provides an international forum on the latest technologies and research in security of Cyber-Physical systems (CPS). The workshop will be held in conjunction with The 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015) that will be organized in London, United Kingdom (2-5 June 2015).

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

The 15th International Conference on Runtime Verification will be held September 22-25 in Vienna, Austria

The 2nd International Competition on Runtime Verification will be held with RV 2015, September 22 – 25, 2015 The event will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software

Graphs as Models is a satellite workshop of ETAPS 2015 - held at Queen Mary University of London in the Mile End campus. Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.

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:

10th IEEE Symposium on Industrial Embedded Systems - SIES 2015 University of Siegen Conference web site:    www.sies2015.com Submission system:      https://easychair.org/conferences/?conf=sies2015