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.

4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2016) ECYPS’2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2016 - the 5th Mediterranean Conference on Embedded Computing. It is devoted to cyber-physical systems (CPS) for modern applications that usually require high-performance, low energy consumption, high safety, security and reliability.

13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016) Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throughout the physical environment to provide reliable and relevant services to people.

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) Affiliated with CPSWeek 2016 Scope

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

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

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:

Annual Landin Semantics Seminar: Semantic Families for Cyber-Physical Systems By Prof. Jan Peleska | jointly organized by FME Europe and BCS-FACS Specialist Group Venue: BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA Book online at: https://events.bcs.org/book/1673/

10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016) The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. Its main focus is on reconfigurable architectures, tools and algorithms that facilitate reconfigurable systems and applications tailored for reconfigurable platforms.

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