The formalization of system engineering models and approaches.
Event
ACM HSCC 2019
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of CPS-IoT Week 2019
Scope

Event
ICCPS 2019
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.
Event
ICPADS 2018
24th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2018)
Event
FSEN '19
Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19)
--About FSEN --
Event
ModComp'18
5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModCamp '18)
Scope
Event
NAS18
The 13th International Conference on Networking, Architecture, and Storage (NAS18)
Sponsored by IEEE
Event
MEMOCODE '18
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.
Event
WAISE 2018
First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018)
In conjunction with SAFECOMP 2018
Event
GCM 2018
Ninth International Workshop on Graph Computation Models (GCM 2018)
Co-located with ICGT 2018
Part of STAF 2018
BACKGROUND AND AIMS
Event
NSV 2018
11th International Workshop on Numerical Software Verification (NSV 2018)
Federated Logic Conference (FLoC) 2018