15th International Conference on Informatics in Control, Automation and Robotics  The purpose of the 15th International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Informatics.

The 13th International Conference on Networking, Architecture, and Storage (NAS18) Sponsored by  IEEE

16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18) Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.

First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) In conjunction with SAFECOMP 2018

2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (IEEE ETFA 2018) ETFA 2018 is the 23rd Annual Conference of the IEEE Industrial Electronics Society (IES) focusing on the latest developments and new technologies in the field of industrial and factory automation. The conference aims to disseminate novel ideas and emerging trends, research results and practical achievements. ETFA 2018 will be held in the beautiful city of Turin, Italy, the home of worldwide renowned industrial companies.  

The 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2018) Hokkaido, Japan | August 29-31, 2018 | rtcsa2018.ht.sfc.keio.ac.jp The RTCSA conference series carry on with the tradition and bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications, including the Internet of things and cyber-physical systems.

4th International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS 2018) http://resacs2018.wordpress.com | http://twitter.com/RESACS_WS

12th International Conference on Tests & Proofs (TAP 2018) Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC) Purpose and scope The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Ninth International Workshop on Graph Computation Models (GCM 2018) Co-located with ICGT 2018 Part of STAF 2018 BACKGROUND AND AIMS

Special Session on: “Emerging Solutions for Vehicular Embedded Software Systems” (IECON 2018) At the 44th Annual Conference of the IEEE Industrial Electronics Society The Special Session is organized and co-chaired by: Saad Mubeen, Mälardalen University, Sweden, saad.mubeen@mdh.se Lucia Lo Bello, University of Catania, Italy, lobello@unict.it Matthias Becker, KTH Royal Institute of Technology, Sweden, mabecker@kth.se Outline of the Session