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.

31st IEEE International System-on-Chip Conference (SOCC2018) "Thinking SOCs: AI and ML applications"   For more than 30 years the IEEE International System-on-Chip Conference (SOCC) has been the premier forum for sharing the latest advancements in SoC architecture, systems, logic and circuit design, process technology, test, design tools, and applications. We proudly continue this tradition with the 2018 conference in Crystal City, Arlington, VA, in the heart of the Washington DC Metro Area.

8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2018) In Cooperation with EUROMICRO The purpose of PECCS is to bring together researchers and practitioners interested in both theoretical advances and applications of Pervasive and embedded computing and communication. PECCS is composed of two co-located conferences, each specialized in at least one of the aforementioned main knowledge areas. Conference Co-chairs

CALL FOR PAPERS - Full paper submission deadline : 23rd April 2018 (deadline Extension) 13th International Symposium on  Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2018) July 9th-11th, 2018, Lille, France, www.recosoc.org

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

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.