1st International Workshop on Formal Engineering of Cyber-Physical Systems

Collocated with TASE 2022

The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nature, they require specific formalisms and tools that embed discrete and continuous aspects, while requiring advanced system engineering techniques to handle their complexity.

Such challenges have often been addressed separately by different communities to some extent; but CPS still miss overall methodologies and framework to handle their formal design.

The aim of this workshop is to bridge communities, both academic and industrial, covering the different aspects of safe CPS engineering, including verification, validation and overall design.

We welcome new ideas, even though not completely validated, as well as experiences and lessons learned of using existing techniques in industry or in large open source projects.

Note: due to a low number of submission, it has been decided to move to a keynote-only event. Please refer to the Invited Talks and Program sections of the website for more information!


The topics of interest include, but are not limited to:

Important Dates

Submission Guidelines

The proceedings are planned to be published in Lecture Notes in Computer Science (to be confirmed).

Papers should be written in English and should have at most 6 pages (excluding references) in LNCS format. In particular, we expect: original research, including work in progress, case studies and experience reports, tool presentations and demonstrations.

Submission should be made through the FE-CPS 2022 submission page (EasyChair).