Logic List Mailing Archive

CfP: ReacTS 2025 – Special Issue on Reconfigurable Transition Systems of the Journal of Applied Logics, deadline: 15 June 2025

*** 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@janespurr.net<mailto:jane@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@unc.edu.ar<mailto:rfervari@unc.edu.ar>) and Manuel Martins (martins@ua.pt<mailto:martins@ua.pt>)

--
Raul Fervari
http://cs.famaf.unc.edu.ar/~rfervari/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php