Topics of Interest

The workshop seeks both contributions from industry identifying practical problems and ongoing promising research work or visions from both academia and industry. Topics include but are not limited to:

• Modeling of CPS
• Formalisms, languages and tools for verification of CPS
• Model management for CPS development
• Ontology of CPS

Accepted papers will become part of the workshop proceedings that will be published at CEUR.