Workshop: Applications of Formal Methods and Digital Twins

The model-based concept of a Digital Twin is a new development paradigm in complex systems engineering at the intersection of Cyber-Physical Systems, Software Engineering, System Engineering and Data Science.

While some connections to model-based techniques from formal methods have been recognized in academic contexts, there is no exploitation of this connection in industrial practice. The Workshop on Applications of Formal Methods and Digital Twins will bring together researchers from Formal Methods and practitioners to explore (1) the current challenges in engineering Digital Twins, and (2) the current challenges in applying formal methods to Digital Twins.

The aim of the workshop is to find common ground between industrial needs for model-based engineering of Digital Twins, and Formal Methods. To this end, we welcome the contribution of short papers that will form the foundation for a journal article that illustrates the perspectives, challenges and first applications of Formal Methods in Digital Twins.

Aim and Scope

Topics include, but are not limited to:

  • Applications of FM in Digital Twins
  • Challenges for applying FM in Digital Twins
  • Challenges in Digital Twins that would benefit from applying FM
  • Correctness criteria for Digital Twins
  • Experiences with rigorous engineering of Digital Twins
  • Models for safety and security of Digital Twins
  • Fidelity of Digital Twins
  • Validation of Digital Twins
  • Achievements applying FM to Digital Twins

Submission Guidelines

Submissions are expected to have 6-8 pages in LNCS format. All submitted papers will be refereed by the program committee. Submissions will be handled via EasyChair (

Important Dates (AoE)

  • Submission: 13.01.23 25.01.23
  • Notification: 17.02.23 24.02.23
  • Final Version: 24.02.23 03.03.23
  • Workshop: 06.03.23


All accepted articles will be published as informal pre-proceedings and the authors will be invited to contribute to a journal article that positions Formal Methods with respect to Digital Twins, targeting a journal such as Formal Aspects of Computing.

Program Committee

  • Stefan Hallerstede, Aarhus University, DK, co-chair
  • Eduard Kamburjan, University of Oslo, NO, co-chair
  • Stylianos Basagiannis, Collins Airspace, US
  • Loek Cleophas, TU Eindhoven, NL
  • Fuyuki Ishikawa, NII, JP
  • Regine Laleau, Université Paris-Est Créteil, FR
  • Tiziana Margaria, University of Limerick, IE
  • Danielle Stewart, Galois Inc., USA
  • Mahsa Varshosaz, IT, DK
  • Manuel Wimmer, JKU Linz, AU
  • Jim Woodcock, University of York, UK