<div dir="ltr"><div>Dear all,</div><div><br></div><div>We cordially invite you to attend the International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, </div><div>to be held next November 4 and 5, in Aveiro, Portugal.</div><div><br></div><div>The program can be found here: <a href="https://reacts2024.github.io/program.html">https://reacts2024.github.io/program.html</a></div><div><br></div><div>Best regards,</div><div>Raul Fervari and Manuel Martins</div><div>PC Chairs of ReacTS'24</div><div dir="ltr"><br></div><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>Call for Participation<br><br><a href="https://reacts2024.github.io/" target="_blank">https://reacts2024.github.io/</a><br><br>Monday 4 and 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></div><div dir="ltr"><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>—---------------------------------------<br>Carlos Areces, Universidad Nacional de Córdoba and CONICET (Argentina)<br><br>Title: TBA </div><div dir="ltr"><br></div><div dir="ltr"><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)</div><div dir="ltr">Alexandre Madeira, University of Aveiro (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></div><div dir="ltr"><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><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="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>