Call For Papers

Full papers and short presentations are invited on original and unpublished research on various aspects of Formal Methods for Reconfigurable Systems. System Descriptions are both allowed as full papers or short presentations.

Accepted Full Papers will be included in the workshop programme and will appear in the workshop pre-proceedings as well as in the LNCS volume.

Short presentations will be included in the pre-proceedings.

Pre-proceedings will be available online before the Workshop.

Extended versions of selected contributions will be published in a special issue of the Journal of Applied Logics .

You are requested to submit your research paper using the Easy Chair:

The submissions must conform to the Submission Guidelines.

Important Dates AoE
  • Submission deadline: August 20, 2024.

  • Notification of acceptance: September 20, 2024.

  • Camera-ready due: October 20, 2024.

  • Workshop: November 5, 2024.


If you have any problems or questions, please contact us via e-mail at: /

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

  • Reconfigurable transitions systems (RTS)
    • Models for the analysis of reconfigurable systems.
    • Applications of formal models for reconfigurable systems.
    • Computational tools to animate and analyze RTS.
    • Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, etc.
    • Featured Transition System.
  • Logical Methods
    • Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS.
    • Bisimulations and general algebraic constructions.
    • Model Checking and Tools.
    • Reactive systems and Process Algebra
    • Applications of AI for RTS