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

The Third International Conference on Artificial Intelligence and Pattern Recognition (AIPR2016)  You are invited to participate in The Third International Conference on Artificial Intelligence and Pattern Recognition (AIPR2016) that will be held in Lodz University of Technology, Lodz, Poland on September 19-21, 2016, which aims to enable researchers build connections between different digital applications.

The Third International Conference on Data Mining, Internet Computing, and Big Data (BigData2016) You are invited to participate in The Third International Conference on Data Mining, Internet Computing, and Big Data (BigData2016) that will be held in Mevlana University, Konya, Turkey on July 21 – 23, 2016, which aims to enable researchers build connections between different digital applications.

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:

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