<div dir="ltr">(Apologies for cross-posting)<br><br>==================================================<br>ReacTS'24<br><br>International Workshop on Reconfigurable Transition Systems:<br>Semantics, Logics and Applications<br>==================================================<br>Call for Papers<br><br><br><a href="https://reacts2024.github.io/">https://reacts2024.github.io/</a><br><br>Tuesday, 5 November 2024, Aveiro, Portugal<br><br>Satellite event of SEFM 2024 (<a href="https://sefm-conference.github.io/sefm2024">https://sefm-conference.github.io/sefm2024</a>)<br><br>==================================================<br>OVERVIEW<br>==================================================<br><br>Reconfigurable Transition Systems (RTS) are dynamic relational<br>structures (graphs) that evolve along its execution, in the sense that<br>their accessibility relation, their set of nodes or their labelling<br>change when their edges are crossed. These structures have proven to<br>be suitable to compactly represent complex reactive and reconfigurable<br>behaviours. Namely, the ability of reacting or readapting under the<br>influence of certain events is a very distinctive feature of many<br>diverse situations and objects. An autonomous vehicle that changes its<br>route due to a new strike occurring, the behaviour of a software<br>component after a memory disposal, or a DNA mutation as the result of<br>a viral infection, are different examples that witness the importance<br>of modelling about changes in a determined situation. Practical user<br>cases have aroused the interest of the logic community in the study of<br>variants of RTS, by developing formal methods to properly reason about<br>such situations.<br><br>This workshop aims to bring together the whole community of<br>researchers working on different ways to model reconfigurable and<br>reactive systems from a formal perspective. This includes theoretical<br>approaches (like hybrid logics, reactive frames, model-update logics),<br>or formalisms designed for specific purposes (like separation logic in<br>software verification, dynamic epistemic logic in AI planning, and<br>others). Also, our goal is to devise novel approaches and potential<br>applications, and share a common perspective on the discipline.<br><br><br>==================================================<br>SUBMISSION GUIDELINES<br>==================================================<br><br>Authors are invited to submit, via EasyChair research contributions or<br>experience reports<br>(<a href="https://easychair.org/my/conference?conf=reacts2024">https://easychair.org/my/conference?conf=reacts2024</a>).<br><br><br>All papers should be written in English and prepared using the<br>specific LNCS templates available at<br><a href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>.<br><br><br>There are two categories of submissions<br><br>FULL PAPERS up to 12 pages excluding reference,   – to present<br>original research and the analysis, interpretation and validation of<br>the research findings.<br><br>SHORT PRESENTATIONS up to 4 pages,  – to present work in progress and<br>preliminary results.<br><br>Both kinds of submissions allow system descriptions,  to present a new<br>tool, a new tool component or novel extensions to an existing tool<br>aiming at supporting open community approaches, or the<br>use/customisation of an existing tool in the context of RTS.<br><br><br>Accepted Full Papers will be included in the workshop programme and<br>will appear in the workshop pre-proceedings as well as in the LNCS<br>post-proceedings.<br>Accepted Short presentations  will be included in the pre-proceeding<br>but not published in the post-proceedings.<br><br>Pre-proceedings will be available online before the Workshop.<br><br><br>==================================================<br>LIST OF TOPICS<br>==================================================<br><br>The scope of the workshop includes (but it is not limited to):<br><br><br>- Reconfigurable transitions systems<br>- Models for the analysis of reconfigurable systems<br>- Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS<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<br>- Featured Transition Systems<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>==================================================<br>PROGRAM CO-CHAIRS<br>==================================================<br><br>Raul Fervari (University of Córdoba, Argentina)<br><br>Manuel Martins (University of Aveiro, Portugal)<br><br>==================================================<br>KEYNOTE SPEAKER<br>==================================================<br><br>TBA<br><br><br>==================================================<br>PROGRAM COMMITTEE<br>==================================================<br><br>Carlos Areces, Universidad Nacional de Córdoba and CONICET (Argentina)<br>Luis Soares Barbosa, Universidade Do Minho (Portugal)<br>Mario Benevides, Universidade Federal do Rio de Janeiro (Brazil)<br>Johan van Benthem, ILLC, University of Amsterdam (The Netherlands) &<br>Stanford University (USA)<br>Patrick Blackburn, University of Roskilde (Denmark)<br>Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina)<br>Madalena Chaves, Centre Inria d'Université Côte d'Azur (France)<br>Diana Costa, Universidade de Lisboa (Portugal)<br>Stéphane Demri, CNRS, Université Paris-Saclay (France)<br>Hans van Ditmarsch, CNRS, University of Toulouse (France)<br>Daniel Figueiredo, University of Aveiro (Portugal)<br>Sabine Frittella, Université d'Orleans (France)<br>Sujata Gosh, Indian Statistical Institute, Chennai (India)<br>Andreas Herzig, CNRS, Université Paul Sabatier (France)<br>Juha Kontinen, University of Helsinki (Finland)<br>Sergio Marcelino, Universidade de Lisboa (Portugal)<br>Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil)<br>François Schwarzentruber, ENS Rennes (France)<br>Igor Sedlár, Czech Academy of Sciences (Czech Republic)<br>Sonja Smets, ILLC, University of Amsterdam (The Netherlands)<br>Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian<br>Academy (Romania)<br>Fernando R. Velázquez-Quesada, University of Bergen (Norway)<br>Fan Yang, Utrecht University (The Netherlands)<br><br><br><br>==================================================<br>PUBLICATION<br>==================================================<br><br>Accepted regular papers will be published after the Workshop by Springer<br>in a volume of Lecture Notes in Computer Science (<a href="http://www.springer.com/lncs">http://www.springer.com/lncs</a>),<br>which will collect contributions to some workshops co-located with SEFM 2024.<br><br>Condition for inclusion in the post-proceedings is that at least one of<br>the co-authors has presented the paper at the Workshop.<br><br>==================================================<br>IMPORTANT DATES<br>==================================================<br><br>Paper submission:  20 august 2024 (AoE)<br><br>Author notification: 20 September 2024<br><br>Workshop: 5 November 2024<br><br><br>==================================================<br>CONTACT<br>==================================================<br><br>If you have any problems or questions, please contact us via e-mail at:<br><br><a href="mailto:rfervari@unc.edu.ar">rfervari@unc.edu.ar</a> / <a href="mailto:martins@ua.pt">martins@ua.pt</a><br></div>