RAMMMNets 2016: Workshop on Real-time Analytics in Multi-latency, Multi-Party, Metro-scale Networks  Co-Chairs: Chaitan Baru, U.S. National Science Foundation Stephen Dennis, U.S. Department of Homeland Security  Background 

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 1st Workshop on Agent Based Modelling of Urban Systems (ABMUS 2016) in conjunction with the AAMAS2016 Singapore on the 9th or 10th May 2016 | http://www.modelling-urban-systems.com/

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

1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities 23 February 2016 | Vienna, Austria | @SE2016

13th IEEE International Conference on Autonomic Computing (ICAC 2016) Wuerzburg, Germany, July 19-22, 2016 | http://icac2016.uni-wuerzburg.de/ In cooperation with USENIX and SPEC CONFERENCE PATRONS SAP, Huawei, Hewlett Packard Enterprise, Google, Microsoft WORKSHOPS

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: