3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

https://reacts-workshop.github.io/2026/

The 3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications (ReacTS 26) is scheduled on November 24, 2026 and will be held at University of Malta, Malta. as a co-located event of SEFM 2026 (https://sefm-conference.github.io/2026/)

This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics, and topological and algebraic semantics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Also, our goal is to devise novel approaches and potential applications, and share a common perspective on the discipline.

Submission Guidelines

Authors are invited to submit, via Easychair, research contributions or experience reports.

All papers should be written in English and prepared using the specific LNCS templates available athttp://www.springer.de/comp/lncs/authors.html.

There are two categories of submissions:

- FULL PAPERS up to 12 pages (excluding references) – to present original research and the analysis, interpretation and validation of the research findings.

- SHORT PRESENTATIONS up to 4 pages (excluding references) – to present work in progress and preliminary results.

Both kinds of submissions allow system descriptions, to present a new tool, a new tool component or novel extensions to an existing tool aiming at supporting open community approaches, or the use/customisation of an existing tool in the context of reconfigurable transitions systems.

Accepted full papers will be included in the workshop programme and will appear in the workshop LNCS post-proceedings.

Accepted short presentations will be included in the informal proceedings (available online in the Workshop webpage) but not published in the LNCS post-proceedings.

List of Topics

The scope of the workshop includes (but it is 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

Important dates

- Abstract submission: September 8th
- Paper submission: September 13th
- Notification of acceptance: October 16th
- Informal proceedings: November 6th

Committees

Program Committee

- Luis Soares Barbosa, Universidade Do Minho (Portugal)
- Benjamin Bedregal, Universidade Federal do Rio Grande do Norte (Brazil)
- Mario Benevides, Universidade Federal Fluminense (Brazil)
- Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina)
- Madalena Chaves, Centre Inria d'Université Côte d'Azur (France)
- Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania)
- Raul Fervari, Universidad Nacional de Córdoba and CONICET (Argentina)
- Sabine Frittella, Université d'Orleans (France)
- Alexandre Madeira, University of Aveiro (Portugal)
- Sergio Marcelino, IT & Dep. Mathematics IST, University of Lisbon (Portugal)
- Alessandra Palmigiano, Vrije Universiteit Amsterdam (The Netherlands)
- José Proença, FCUP, University of Porto (Portugal)
- Fernando R. Velázquez-Quesada, University of Bergen (Norway)
- Umberto Rivieccio, Universidad Nacional de Educación a Distancia (Spain)
- Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil)
- Sonja Smets, ILLC, University of Amsterdam (The Netherlands)
- Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian Academy (Romania)
- Amanda Vidal, Czech Academy of Sciences (Czech Republic)
- Fan Yang, Utrecht University (The Netherlands)

Organizing Committee

- Daniel Figueiredo, University of Aveiro (Portugal)
- Duncan Attard, University of Malta (Malta)

Venue

The conference will be held in university of Malta, as a co-located event of SEFM 26.

Contact

All questions about submissions should be emailed to daniel.figueiredo@ua.pt / duncan.attard@um.edu.mt