Dear all, We cordially invite you to attend the International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, to be held next November 4 and 5, in Aveiro, Portugal.
The program can be found here: https://reacts2024.github.io/program.html Best regards, Raul Fervari and Manuel Martins PC Chairs of ReacTS'24 ================================================== ReacTS'24 International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications ================================================== Call for Participation https://reacts2024.github.io/ Monday 4 and Tuesday, 5 November 2024, Aveiro, Portugal Satellite event of SEFM 2024 (https://sefm-conference.github.io/sefm2024) ================================================== OVERVIEW ================================================== Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations. This workshop aims to bring together the whole community of researchers working on different ways to model reconfigurable and reactive systems from a formal perspective. This includes theoretical approaches (like hybrid logics, reactive frames, model-update logics), or formalisms designed for specific purposes (like separation logic in software verification, dynamic epistemic logic in AI planning, and others). Also, our goal is to devise novel approaches and potential applications, and share a common perspective on the discipline. ================================================== PROGRAM CO-CHAIRS ================================================== Raul Fervari (University of Córdoba, Argentina) Manuel Martins (University of Aveiro, Portugal) ================================================== KEYNOTE SPEAKERS ================================================== Johan van Benthem (ILLC, University of Amsterdam, The Netherlands & Stanford University, USA) Title: Graph Games and Dynamic Logics Abstract: Taking games on graphs that change in play as our pilot case, we discuss the interaction of changing system structures and logic design. We consider mainly three options representing different levels of detail: graph logics, game logics, and logics of dynamical systems, and raise some current issues about translating and tracking between these. We also discuss one further current challenge: the effects of limited observation of a system and the induced updates of observers’ knowledge and ignorance. Lit. J. van Benthem & F. Liu, eds., Graph Games and Logic Design: Some Recent Developments, Springer Science, to appear —--------------------------------------- Sergio Marcelino (Universidade de Lisboa, Portugal) Title: Logics for path-dependent systems: from reactive to switch frames and beyond Abstract: Transition systems, where the accessibility relation evolves as edges are traversed, can be represented using graphs with higher-order arrows encoding path dependencies.This presentation will survey the origins and development of these concepts over the past 20 years. We will discuss the intricacies of designing logics to reason over these structures and how incorporating fuzziness increases their applicability in concisely modeling a growing range of dynamical systems. —--------------------------------------- Carlos Areces, Universidad Nacional de Córdoba and CONICET (Argentina) Title: TBA ================================================== PROGRAM COMMITTEE ================================================== Carlos Areces, Universidad Nacional de Córdoba and CONICET (Argentina) Luis Soares Barbosa, Universidade Do Minho (Portugal) Mario Benevides, Universidade Federal do Rio de Janeiro (Brazil) Johan van Benthem, ILLC, University of Amsterdam (The Netherlands) & Stanford University (USA) Patrick Blackburn, University of Roskilde (Denmark) Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET (Argentina) Madalena Chaves, Centre Inria d'Université Côte d'Azur (France) Gabriel Ciobanu, Institute of Computer Science, Romanian Academy (Romania) Diana Costa, Universidade de Lisboa (Portugal) Stéphane Demri, CNRS, Université Paris-Saclay (France) Hans van Ditmarsch, CNRS, University of Toulouse (France) Daniel Figueiredo, University of Aveiro (Portugal) Sabine Frittella, Université d'Orleans (France) Dov Gabbay, King's College London (UK) Sujata Gosh, Indian Statistical Institute, Chennai (India) Andreas Herzig, CNRS, Université Paul Sabatier (France) Juha Kontinen, University of Helsinki (Finland) Sergio Marcelino, Universidade de Lisboa (Portugal) Alexandre Madeira, University of Aveiro (Portugal) Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil) François Schwarzentruber, ENS Rennes (France) Igor Sedlár, Czech Academy of Sciences (Czech Republic) Sonja Smets, ILLC, University of Amsterdam (The Netherlands) Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian Academy (Romania) Fernando R. Velázquez-Quesada, University of Bergen (Norway) Fan Yang, Utrecht University (The Netherlands) ================================================== CONTACT ================================================== If you have any problems or questions, please contact us via e-mail at: [email protected]<mailto:[email protected]> / [email protected]<mailto:[email protected]> -- 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
