November 10-11, 2025
Toledo,
Spain
Wei Hunag on 
Alex Garcia on 
javier alamo rodriguez on 
Greta Schölderle Möller on 
Aki on 
Miguel Ángel Sanz on 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.
We plan to invite a selection of the contributions to submit an extended version to be published in a special issue. .The submissions must conform to the Submission Guidelines.
-
Tentative submission deadline: August 20, 2025.
-
Tentative notification of acceptance: September 20, 2025.
-
Camera-ready due: October 20, 2025.
Contact
If you have any problems or questions, please contact us via e-mail at: jose.proenca@fc.up.pt / umberto@fsof.uned.es
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, Stochastic RTS, etc.
- Featured Transition Systems
- Reconfigurable Cyber Physical Systems
- 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
- Logics for Cyber Physical Systems
- Topological an Algebraic Semantics
- Applications of AI for RTS