[agents] International Workshop on Reconfigurable Transition Systems (ReacTS 2024) - Special Issue of the Journal of Applied Logics

[Raul Fervari]

*** Call for Papers ***



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

*Special Issue of the Journal of Applied Logics*



*** Important Dates ***



- Manuscript submission deadline: June 15th, 2025

- Author notification:  October 15th, 2025

- Revised manuscripts due: November 15th, 2025

- Publication by December 15th, 2025



**** Overview *****



Following the successful first edition of the International Workshop on
Reconfigurable Transition Systems: Semantics, Logics and Applications

in 2024 (in Aveiro, Portugal), we are happy to announce the possibility of
publishing work on the wide spectrum of ''Reactive Systems",

(specially extended versions of papers presented at the workshop),  in an
Special Issue of the Journal of Applied Logics (
https://www.collegepublications.co.uk/ifcolog/).



**** List of Topics ****


The areas of interest include, but are 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, etc.
     - Featured Transition System.
- 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
     - Applications of AI for RTS



**** Guest Editors ****



Raul Fervari (UNC and CONICET, Argentina)

Manuel Martins (U. of Aveiro, Portugal)



**** Submission ****



Submissions of original papers (unpublished and not submitted for
publication elsewhere), up to 30 pages (excluding references) must me sent

to Jane Spurr <jane at janespurr.net> indicating "JALs submission: ReacTS
special issue" on the subject.





Manuscripts should be typeset according to the JAL guidelines attached into
this email.



To express interest in submission and for more information please contact
Raul Fervari (rfervari at unc.edu.ar) and Manuel Martins (martins at ua.pt)

-- 
Raul Fervari
http://cs.famaf.unc.edu.ar/~rfervari/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20250313/273603c7/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: myifcolog.cls
Type: application/octet-stream
Size: 8968 bytes
Desc: not available
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20250313/273603c7/attachment-0001.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: GuideForAuthors.pdf
Type: application/pdf
Size: 217560 bytes
Desc: not available
URL: <https://lists.cs.umbc.edu/pipermail/agents/attachments/20250313/273603c7/attachment-0001.pdf>