Topics of interest include, but are not limited to:
·    Design, synthesis, planning and control
·    Analysis, automated verification (Boolean or quantitative)
·    Certification, validation, and testing
·    Model building from data (via learning) and model simulation
·    Mathematical foundations, computability and complexity
·    Programming languages, specification formalisms
·    Software tool engineering and experimentation
·    Real-time and resource-aware control
·    Network science and control over networks
·    Applications in cyber-physical systems, and in particular: automotive, avionics, energy and power, mobile and autonomous robotics, medical devices, manufacturing, transportation, systems and synthetic biology, models for the life sciences, and other areas.