22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Part of CPS-IoT Week 2019 Scope

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.

24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018)

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

5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModCamp '18) Scope

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

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

11th  International Workshop on Numerical Software Verification (NSV 2018) Federated Logic Conference (FLoC)  2018