FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems
FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems

FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems

Cluj-Napoca, Romania
Event Date: July 08, 2022 - July 10, 2022
Submission Deadline: May 15, 2022
Notification of Acceptance: June 12, 2022
Camera Ready Version Due: June 19, 2022

Call for Papers

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.


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

- Formal methods for CPS: formal languages (hybrid automata, Hybrid CSP, Hybrid Programs, etc.), theorem proving (Event-B, Continuous action systems, Coq, PVS, etc.), hybrid model-checking and reachability analysis (HyTech, SpaceEx, JuliaReach, etc.)
- CPS design: high-level languages (SysML, MARTE, Simulink, etc.) …
- Integration of formal methods in CPS development processes
- Formal methods in practice for CPS engineering


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).


Sergiy Bogomolov, University of Newcastle, UK

Guillaume Dupont, IRIT - INPT ENSEEIHT, Toulouse, France

Régine Laleau, LACL - University of Paris-Est Créteil, France


FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems will take place in Cluj-Napoca, Romania. It’s a 3 days event starting on Jul 8, 2022 (Friday) and will be winded up on Jul 10, 2022 (Sunday).

FE-CPS 2022 falls under the following areas: CYBER-PHYSICAL SYSTEMS, FORMAL METHODS, PROGRAMMING LANGUAGES, etc. Submissions for this Workshop can be made by May 15, 2022. Authors can expect the result of submission by Jun 12, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 19, 2022 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FE-CPS 2022

  • Short Name: FE-CPS 2022
  • Full Name: 1st International Workshop on Formal Engineering of Cyber-Physical Systems
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FE-CPS 2022
  • Event Type: Workshop
  • Website Link:
  • Location/Address: Cluj-Napoca, Romania

Credits and Sources

[1] FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems

Check other Conferences, Workshops, Seminars, and Events


GECPS 2024: IEEE Cyber Physical System for Green Energy
Los Angelos
Jun 28, 2024
EMSICC 2024: International Workshop on Energy Management for Sustainable Internet-of-Things and Cloud Computing
Vienna, Austria
Aug 19, 2024
RTCSA 2024: 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Sokcho, South Korea
Aug 21, 2024
ICPS 2024: 7th IEEE International Conference on Industrial Cyber-Physical Systems
St. Louis, MO, USA
May 12, 2024
CSCWD 2024: 2024 27th International Conference on Computer Supported Cooperative Work in Design
Tianjin, China
May 8, 2024


ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024


PPDP 2024: The 26th International Symposium on Principles and Practice of Declarative Programming
Milan, Italy
Sep 9, 2024
ECOOP (R2) 2024: European Conference on Object-Oriented Programming
Vienna, Austria
Sep 16, 2024
COORDINATION 2024: 26th International Conference on Coordination Models and Languages
University of Groningen, The Netherlands
May 18, 2024
FLOPS 2024: FLOPS 2024: 17th International Symposium on Functional and Logic Programming
Kumamoto, Japan
May 15, 2024
VMIL 2023: Workshop on Virtual Machines and Language Implementations (VMIL’23)
Cascais, Portugal
Oct 22, 2023