11th International Conference on Cyber-Physical Systems Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.

12th Mediterranean Conference on Embedded Computing MECO (12th Mediterranean Conference on Embedded Computing) is a project of very successful events in embedded and general computing dated from 2012. It is an International Scientific Forum aimed to present and discuss the leading achievements in the modelling, analysis, design, validation and application of embedded computing systems, as well as, in the broader sense of complete computer systems with applications and related fields.

IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020) The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world’s 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.

Euromicro Conference on Digital System Design (DSD 2020) The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.

ASPLOS 2020 meeting in Lausanne is canceled because of COVID-19

COVID-19 UPDATE

The 10th ACM/IEEE International Conference on Cyber-Physical Systems (CM/IEEE ICCPS 2019) Overview: As digital computing and communication become faster, cheaper, and available in packages that are smaller and use less power, these capabilities are increasingly embedded in many objects and structures in the physical environment. Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrated by computing and communication.

Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) --About FSEN --

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.

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.