Topics of interest include, but are not limited to: Design, synthesis and control Analysis and verification Computability and complexity Programming languages, specification formalisms Software tool engineering and experimentation Real-time and resource-aware control for embedded systems Network science and control over networks Applications in automotive, avionics, energy, mobile robotics, medical devices, manufacturing, systems biology, transportation, and other areas