<div dir="ltr"><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">*** 2nd Call for Papers - Deadline approaching ***</div>
<br>
International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications<br>
Special Issue of the Journal of Applied Logics<br>
<br>
*** Important Dates ***<br>
<br>
- Manuscript submission deadline:<b> June 15th, 2025</b><br>
- Author notification:  October 15th, 2025<br>
- Revised manuscripts due: November 15th, 2025<br>
- Publication by December 15th, 2025<br>
<br>
**** Overview *****<br>
<br>
Following the successful first edition of the International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications<br>
in 2024 (in Aveiro, Portugal), we are happy to announce the possibility of publishing work on the wide spectrum of ''Reactive Systems",<br>
(specially extended versions of papers presented at the workshop),  in an Special Issue of the Journal of Applied Logics (<a href="https://www.collegepublications.co.uk/ifcolog/" rel="noreferrer" target="_blank">https://www.collegepublications.co.uk/ifcolog/</a>).<br>
<br>
<br>
**** List of Topics ****<br>
<br>
The areas of interest include, but are 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, etc.<br>
     - Featured Transition System.<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>
     - Applications of AI for RTS<br>
<br>
**** Guest Editors ****<br>
<br>
Raul Fervari (UNC and CONICET, Argentina)<br>
Manuel Martins (U. of Aveiro, Portugal)<br>
<br>
**** Submission ****<br>
<br>
Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) must me sent<br>
to Jane Spurr <a href="mailto:jane@janespurr.net" target="_blank">jane@janespurr.net</a> indicating "JALs submission: ReacTS special issue" on the subject.<br>
<br>
<br>
Manuscripts should be typeset according to the JAL guidelines attached into this email.<br>
<br>
To express interest in submission and for more information please contact Raul Fervari (<a href="mailto:rfervari@unc.edu.ar" target="_blank">rfervari@unc.edu.ar</a>) and Manuel Martins (<a href="mailto:martins@ua.pt" target="_blank">martins@ua.pt</a>).<br><br>
</div><div><br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Raul Fervari</div><div><div><a href="http://cs.famaf.unc.edu.ar/~rfervari/" target="_blank">http://cs.famaf.unc.edu.ar/~rfervari/</a></div></div></div></div></div>