22nd IEEE Rea​l-Time and Embedded Technology and Applications Symposium (RTAS 2016) will be held in Vienna, Austria, as part of the Cyber-Physical Systems Week (CPSWeek) in April 2016. The conference includes a Work in Progress (WiP) and Demo session intended for presentation of recent and on-going work, as well as for demonstrations of tools and technology that have the potential to be used in the design and development of real-time systems. In keeping with the spirit of the main symposium, we invite submissions of WiP papers and demos with an emphasis on system and application aspects.

21th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2016) Berlin, Germany | 6-9 September 2016 | Web site: http://www.etfa2016.org/

The 2nd International Workshop GRAPHS AS MODELS (GaM 2016) a Satellite Event of ETAPS 2016, Description

ISORC 2016 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. In 2016, we have adopted a new theme, Real-Time Issues and Challenges for novel applications and systems: Medical devices, intelligent transportation systems, Industrial automation systems, Internet of Things and Smart Grids.

23rd International SPIN Symposium on Model Checking of Software (SPIN 2016) (colocated with ETAPS 2016) 7--8 April 2016 | Eindhoven, The Netherlands | http://www.spin2016.info                     Important Dates

First International workshop on Resource Aware Computing (RAC2016) An ETAPS2016 Event.  |  ENTCS publication. RAC2016 is supported by ICT COST Action IC1202 Timing Analysis on Code-Level (TACLe). WORKSHOP OBJECTIVES AND SCOPE

36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016) Part of the DisCoTec 2016 event FORTE 2016 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:

ACM International Conference on Computing Frontiers 2016 (CF'16) May 16 - 18, 2016, Como, Italy |  www.computingfrontiers.org

28th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS) Organized by the Euromicro Technical Committee on Real-Time Systems 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 top three international conferences on real-time systems.

9th International Conference on Graph Transformation (ICGT 2016) Graphs are used almost everywhere when representing or modelling structures and systems, not only in applied and theoretical computer science, but also in, e.g., natural and engineering sciences. Graph transformation and graph grammars are the fundamental modelling paradigms for describing, formalizing, and analyzing graphs that change over time when modelling, e.g., dynamic data structures, systems, or models.