5 November 2024, The International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations.
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. You are requested to submit your research paper using Easy Chair.
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.