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/

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

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:

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/