<div dir="ltr"><div class="gmail-gs" style="margin:0px;min-width:0px;padding:0px 0px 20px;width:initial"><div class="gmail-"><div id="gmail-:55d" class="gmail-ii gmail-gt" style="direction:ltr;margin:8px 0px 0px;padding:0px;overflow-x:hidden"><div id="gmail-:55c" class="gmail-a3s gmail-aiL" style="direction:initial;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;line-height:1.5;overflow:auto hidden"><div dir="ltr">==================================================<br><span class="gmail-il">ReacTS</span>'24<br><br>International Workshop on Reconfigurable Transition Systems:<br>Semantics, Logics and Applications<br>==================================================<br>2nd Call for Papers<br><br><a href="https://reacts2024.github.io/" target="_blank">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" target="_blank">https://sefm-conference.github.io/sefm2024</a>)<br><br>==================================================<br>OVERVIEW<br>==================================================<br><br>Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their </div><div dir="ltr">accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable</div><div dir="ltr"> to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of <span class="gmail-il">reacting</span> or readapting under the influence of </div><div dir="ltr">certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new </div><div dir="ltr">strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are </div><div dir="ltr">different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the </div><div dir="ltr">interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations.<br><br>This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive </div><div dir="ltr">systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics), or </div><div dir="ltr">formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). </div><div dir="ltr">Also, our goal is to devise novel approaches and potential 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 experience reports (<a href="https://easychair.org/my/conference?conf=reacts2024" target="_blank">https://easychair.org/my/conference?conf=reacts2024</a>).<br><br><br>All papers should be written in English and prepared using the specific LNCS templates available at <a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">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 the research findings.<br><br>SHORT PRESENTATIONS up to 4 pages,  – to present work in progress and preliminary results.<br><br>Both kinds of submissions allow system descriptions,  to present a new tool, a new tool component or novel extensions to an existing tool </div><div dir="ltr">aiming at supporting open community approaches, or the 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 will appear in the workshop LNCS proceedings.<br><br>Accepted Short presentations  will be included in the pre-proceeding (available online before the Workshop) but not published in the LNCS proceedings.<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 SPEAKERS<br>==================================================<br><br>Johan van Benthem (ILLC, University of Amsterdam, The Netherlands & Stanford University, USA)</div><div dir="ltr"><br>Title: Graph Games and Dynamic Logics</div><div dir="ltr"><br>Abstract: Taking games on graphs that change in play as our pilot case, we discuss the interaction of changing system structures and logic design. </div><div dir="ltr">We consider mainly three options representing different levels of detail: graph logics, game logics, and logics of dynamical systems, and raise some </div><div dir="ltr">current issues about translating and tracking between these. We also discuss one further current challenge: the effects of limited observation of a system </div><div dir="ltr">and the induced updates of observers’ knowledge and ignorance.<br><br>Lit. J. van Benthem & F. Liu, eds., Graph Games and Logic Design: Some Recent Developments, Springer Science, to appear<br><br>—---------------------------------------<br><br>Sergio Marcelino (Universidade de Lisboa, Portugal)<br><br>Title: Logics for path-dependent systems: from reactive to switch frames and beyond<br><br>Abstract: Transition systems, where the accessibility relation evolves as edges are traversed, can be represented using graphs with higher-order arrows</div><div dir="ltr"> encoding path dependencies.This presentation will survey the origins and development of these concepts over the past 20 years. We will discuss the </div><div dir="ltr">intricacies of designing logics to reason over these structures and how incorporating fuzziness increases their applicability in concisely modeling a growing </div><div dir="ltr">range of dynamical systems.<br><br class="gmail-Apple-interchange-newline"><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)</div><div dir="ltr">Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania)<br></div><div dir="ltr">Diana Costa, Universidade de Lisboa (Portugal)<br></div><div dir="ltr">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>Dov Gabbay, King's College London (UK)<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>PUBLICATION<br>==================================================<br><br>Accepted regular papers will be published by Springer in a volume of Lecture Notes in Computer Science (<a href="http://www.springer.com/lncs" target="_blank">http://www.springer.com/lncs</a>), </div><div dir="ltr">which will collect contributions to some workshops co-located with SEFM 2024.<br><br>Condition for inclusion in proceedings is that at least one of the co-authors has presented the paper at the Workshop.<br><br>Extended versions of selected contributions will be published in a special issue of the Journal of Applied Logics.<br><br>==================================================<br>IMPORTANT DATES  (UPDATED)<br>==================================================<br><br>Paper submission: <strike> 20 august 2024 (AoE). </strike> 27 august 2024 (AoE)<br><br>Author notification: <strike>20 September 2024.</strike>  25 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" target="_blank">rfervari@unc.edu.ar</a> / <a href="mailto:martins@ua.pt" target="_blank">martins@ua.pt</a></div></div></div></div></div><div><br></div><span class="gmail_signature_prefix">--</span><br><div dir="ltr" class="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>