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

Best Deals


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


FMAS 2022: Fourth Workshop on Formal Methods for Autonomous Systems
Berlin, Germany
Sep 26, 2022
PNSE 2022: International Workshop on Petri Nets and Software Engineering
Bergen, Norway
Jun 21, 2022
SBMF 2022: 25th Brazilian Symposium on Formal Methods
Aracaju, Brazil
Dec 5, 2022
FACS 2022: 18th International Conference on Formal Aspects of Component Software
Oslo, Norway (online)
Nov 10, 2022
ARCH 2022: 9th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Munich, Germany
Sep 5, 2022


OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
F-IDE 2022: 7th Workshop on Formal Integrated Development Environment
Berlin, Germany
Sep 26, 2022
RL-CONFORM 2022: 2nd RL-CONFORM Workshop: Reinforcement Learning meets HRI, Control, and Formal Methods
Kyoto, Japan
Oct 23, 2022
SOFTPA 2022: International Conference on Emerging Practices in Software Process & Architecture
Sydney, Australia
Jun 18, 2022
TIME 2022: 29th International Symposium on Temporal Representation and Reasoning
Nov 7, 2022


LearnAut 2022: Learning & Automata 2022
Paris, France
Jul 4, 2022
MEMOCODE 2022: 20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
Shanghai, China
Oct 13, 2022
HOPE 2022: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Ljubljana, Slovenia
Sep 11, 2022
MPLR 2022: 19th International Conference on Managed Programming Languages & Runtimes
Brussels, Belgium
Sep 14, 2022
LOPSTR 2022: 32nd International Symposium on Logic-Based Program Synthesis and Transformation
Tbilisi, Georgia
Sep 21, 2022