<div dir="ltr"><div class="gmail-gs" style="margin:0px;min-width:0px;padding:0px 0px 20px;width:auto;font-family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:medium"><div class="gmail-"><div id="gmail-:agx" class="gmail-ii gmail-gt" style="direction:ltr;margin:8px 0px 0px;padding:0px;font-size:0.875rem;overflow-x:hidden"><div id="gmail-:agy" class="gmail-a3s gmail-aiL" style="direction:ltr;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-size-adjust:none;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif;overflow:auto hidden"><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></div></div></div></div></div>