# ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications

The Conference was held on November 10, 2025 in Spain. Primary subject areas for this edition include Computer Science & Software Engineering and Uncategorized.

**Type**: Conference
**Status**: Expired
**Verified On**: 1st July, 2026

---

## ⏱ Critical Deadline
> *No submission deadline specified*

---

## 📍 Event Information
- **Mode**: In Person
- **Location**: Spain
- **Field**: Interdisciplinary
- **Date**: November 10-11, 2025
- **Official Website**: [https://reacts-workshop.github.io/2025](https://reacts-workshop.github.io/2025?utm_source=callforpaper.org)

---

## 📝 Call for Papers Description


<a href="https://callforpaper.org/categories/conomie" title="Browse  call for papers" rel="follow" aria-label="View more  call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors"></a>Satellite event of SEFM 2025 (
<br>
<br>==================================================
<br>OVERVIEW
<br>==================================================
<br>
<br>Reconfigurable Transition <a href="https://callforpaper.org/categories/systems" title="Browse Systems call for papers" rel="follow" aria-label="View more Systems call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">Systems</a> (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their <a href="https://callforpaper.org/categories/accessibility" title="Browse accessibility call for papers" rel="follow" aria-label="View more accessibility call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">accessibility</a> 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 <a href="https://callforpaper.org/categories/objects" title="Browse objects call for papers" rel="follow" aria-label="View more objects call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">objects</a>. 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 <a href="https://callforpaper.org/categories/logic-1" title="Browse logic call for papers" rel="follow" aria-label="View more logic call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">logic</a> community in the study of variants of RTS, by developing formal methods to properly reason about such situations.
<br>
<br>This <a href="https://callforpaper.org/categories/workshop-1" title="Browse workshop call for papers" rel="follow" aria-label="View more workshop call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">workshop</a> 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 <a href="https://callforpaper.org/categories/verification-1" title="Browse verification call for papers" rel="follow" aria-label="View more verification call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">verification</a>, 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.
<br>
<br>==================================================
<br>SUBMISSION GUIDELINES
<br>==================================================
<br>
<br>Authors are invited to submit, via CMT, research contributions or experience reports (
<br>
<br>All papers should be written in English and prepared using the specific LNCS templates available at 
<br>
<br>There are two categories of submissions:
<br>
<br> - FULL PAPERS up to 12 pages (excluding references) – to present original research and the analysis, interpretation and <a href="https://callforpaper.org/categories/validation-1" title="Browse validation call for papers" rel="follow" aria-label="View more validation call for papers" class="!text-inherit !font-normal !underline decoration-dotted decoration-slate-400/60 underline-offset-4 cursor-pointer hover:decoration-slate-900 dark:hover:decoration-slate-100 transition-colors">validation</a> of the research findings.
<br>
<br> - SHORT PRESENTATIONS up to 4 pages (excluding references) – to present work in progress and preliminary results.
<br>
<br>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 RTS.
<br>
<br>Accepted full papers will be included in the workshop programme and will appear in the workshop LNCS proceedings.
<br>
<br>Accepted short presentations will be included in the pre-proceeding (available online before the Workshop) but not published in the LNCS proceedings.
<br>
<br>==================================================
<br>LIST OF TOPICS
<br>==================================================
<br>
<br>The scope of the workshop includes (but it is not limited to):
<br>
<br>- Reconfigurable transitions systems (RTS)
<br>  * Models for the analysis of reconfigurable systems
<br>  * Applications of formal models for reconfigurable systems
<br>  * Computational tools to animate and analyze RTS
<br>  * Generalizations of RTS - Fuzzy RTS, Paraconsistent RTS, Weighted RTS, - Stochastic RTS, etc.
<br>  * Featured Transition Systems
<br>  * Reconfigurable Cyber Physical Systems
<br>
<br>- Logical Methods
<br>  * Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS
<br>  * Bisimulations and general algebraic constructions
<br>  * Model Checking and Tools
<br>  * Reactive systems and Process Algebra
<br>  * Logics for Cyber Physical Systems
<br>  * Topological an Algebraic Semantics
<br>  * Applications of AI for RTS
<br>
<br>==================================================
<br>PROGRAM CO-CHAIRS
<br>==================================================
<br>
<br>- José Proença, University of Porto (Portugal)
<br>- Umberto Rivieccio, Universidad Nacional de Educación a Distancia (Spain)
<br>
<br>==================================================
<br>PROGRAM COMMITTEE
<br>==================================================
<br>
<br>- Luis Soares Barbosa, Universidade Do Minho (Portugal)
<br>- Benjamin Bedregal, Universidade Federal do Rio Grande do Norte (Brazil)
<br>- Mario Benevides, Universidade Federal Fluminense (Brazil)
<br>- Patrick Blackburn, University of Roskilde (Denmark)
<br>- Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina)
<br>- Madalena Chaves, Centre Inria d'Université Côte d'Azur (France)
<br>- Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania)
<br>- Raul Fervari, Universidad Nacional de Córdoba and CONICET (Argentina)
<br>- Daniel Figueiredo, University of Aveiro (Portugal)
<br>- Sabine Frittella, Université d'Orleans (France)
<br>- Sujata Gosh, Indian Statistical Institute, Chennai (India)
<br>- Andreas Herzig, CNRS, Université Paul Sabatier (France)
<br>- Juha Kontinen, University of Helsinki (Finland)
<br>- Alexandre Madeira, University of Aveiro (Portugal)
<br>- Sergio Marcelino, IT & Dep. Mathematics IST, University of Lisbon (Portugal)
<br>- Vanina Martínez, IIIA-CSIC, Barcelona (Spain)
<br>- Manuel Martins, University of Aveiro (Portugal)
<br>- Carles Noguera Clofent, Università degli Studi di Siena (Italy)
<br>- Aybüke Özgün, University of Amsterdam (The Netherlands)
<br>- Alessandra Palmigiano, Vrije Universiteit Amsterdam (The Netherlands)
<br>- Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil)
<br>- François Schwarzentruber, ENS Rennes (France)
<br>- Sonja Smets, ILLC, University of Amsterdam (The Netherlands)
<br>- Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian Academy (Romania)
<br>- Fernando R. Velázquez-Quesada, University of Bergen (Norway)
<br>- Fan Yang, Utrecht University (The Netherlands)
<br>
<br>==================================================
<br>PUBLICATION
<br>==================================================
<br>
<br>Accepted full papers will be published by Springer in a volume of Lecture Notes in Computer Science ( which will collect contributions to some workshops co-located with SEFM 2025.
<br>
<br>Condition for inclusion in proceedings is that at least one of the co-authors has presented the paper at the Workshop.
<br>
<br>Similarly to the last edition of ReacTS, we plan to invite authors of selected contributions to submit extended versions to a special issue, e.g. to the Journal of Applied Logics.
<br>
<br>==================================================
<br>CONTACT
<br>==================================================
<br>
<br>If you have any problems or questions, please contact us via e-mail at:
<br>
<br>jose.proenca@fc.up.pt / umberto@fsof.uned.es
	

---

## 🏷 Taxonomy &amp; Topics
- **Primary Category**: N/A
- **Research Fields**: 
  - Computer Science &amp; Software Engineering
  - Uncategorized

---

## 🧭 Agent Instructions
- **Standard Link**: `https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629`
- **Markdown Link**: `https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629.md`
- **PDF Version**: `https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629.pdf`



---

## 🎓 Academic Citations &amp; Bibliographic Records

Use these pre-formatted snippets to cite this Call for Papers in publications or reference managers:

### Plain Text
```text
ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. Spain, November 10–11, 2025. Available at: https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629. Accessed: August 12, 2026.
```

### APA Style 7th edition
```text
ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. (2025, November 10–11). Spain. https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629
```

### IEEE
```text
&quot;ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications,&quot; Spain, Nov. 10–11, 2025. [Online]. Available: https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629. [Accessed: August 12, 2026].
```

### BibTeX
```bibtex
@misc{reacts2022025cfp,
  title     = {ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications},
  year      = {2025},
  month     = nov,
  address   = {Spain},
  url       = {https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629},
  note      = {Call for Papers. Accessed: 2026-08-12}
}
```

### RIS (Reference Manager, EndNote)
```ris
TY  - CONF
TI  - ReacTS 2025 : International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
PY  - 2025
DA  - 2025/11/10
CY  - Spain
UR  - https://callforpaper.org/cfp/reacts-2025-international-workshop-on-reconfigurable-transition-systems-semantics-logics-and-applications_4629
N1  - Call for Papers. Accessed: 2026-08-12
ER  -
```