<div dir="ltr"><div><p class="MsoNormal">*** Call for Papers ***<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"><b>International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications</b></p><p class="MsoNormal"><b>Special Issue of the Journal of Applied Logics</b></p><p class="MsoNormal"><span lang="PL"><u></u> <u></u></span></p><p class="MsoNormal">*** Important Dates ***<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">- Manuscript submission deadline: June 15th, 2025<span lang="PL"><u></u><u></u></span></p><p class="MsoNormal">- Author notification:  October 15th, 2025<span lang="PL"><u></u><u></u></span></p><p class="MsoNormal">- Revised manuscripts due: November 15th, 2025<span lang="PL"><u></u><u></u></span></p><p class="MsoNormal">- Publication by December 15th, 2025             <u></u><u></u></p><p class="MsoNormal"><span lang="PL"><u></u> <u></u></span></p><p class="MsoNormal">**** Overview *****<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Following the successful first edition of the International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications</p><p class="MsoNormal">in 2024 (in Aveiro, Portugal), we are happy to announce the possibility of publishing work on the wide spectrum of ''Reactive Systems",</p><p class="MsoNormal">(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/" target="_blank">https://www.collegepublications.co.uk/ifcolog/</a>).</p><p class="MsoNormal"><br></p><p class="MsoNormal"><br></p><p class="MsoNormal">**** List of Topics ****<u></u><u></u></p><p class="MsoNormal"><br></p><p class="MsoNormal"><u></u>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</p><p class="MsoNormal"><span lang="PL"><u></u> <u></u></span></p><p class="MsoNormal">**** Guest Editors ****<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Raul Fervari (UNC and CONICET, Argentina)</p><p class="MsoNormal">Manuel Martins (U. of Aveiro, Portugal)</p><p class="MsoNormal"> </p><p class="MsoNormal">**** Submission ****<u></u><u></u></p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal">Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 30 pages (excluding references) must me sent</p><p class="MsoNormal">to Jane Spurr <<a href="mailto:jane@janespurr.net" target="_blank">jane@janespurr.net</a>> indicating "JALs submission: ReacTS special issue" on the subject.</p><p class="MsoNormal"><u></u> <u></u></p><p class="MsoNormal"> </p><p class="MsoNormal">Manuscripts should be typeset according to the JAL guidelines attached into this email.</p><p class="MsoNormal"><u></u> </p><p class="MsoNormal">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>)</p></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>